CakeML/cakeml

Add word shifts to basis

Offen

#274 geöffnet am 03.05.2017

Auf GitHub ansehen
 (3 Kommentare) (0 Reaktionen) (1 zugewiesene Person)Standard ML (98 Forks)auto 404
enhancementhelp wanted

Repository-Metriken

Stars
 (1.169 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

Currently, the basis library doesn't include any shift operations in the Word8 or Word64 modules, and the parser can't generate Opapps with a Shift operation. Thus, the user cannot write programs that shift words in the surface syntax.

Ideally, we'd like to add >> and << as 2 argument CakeML functions, but the Shift op is a unary op with the amount to shift built into the operator. We either need to make Shift a binary op, or we have to add a restricted form of shifting where >> is defined in the basis as a function of two arguments that does a case split on the 2nd to pick out which Shift to actually do.

Contributor Guide

Research-Richtung
Untersuchen Sie die aktuelle Implementierung von Verschiebeoperatoren in der Basisbibliothek und dem Parser. Prüfen Sie, wie der Shift Operator derzeit als unärer Operator definiert ist. Entscheiden Sie zwischen zwei Ansätzen: (1) Machen Sie Shift zu einem binären Operator, was Änderungen an der Operatordefinition, dem Parser und der Semantik erfordert. (2) Fügen Sie eine eingeschränkte Form der Verschiebung hinzu, indem Sie >> und << als Funktionen in der Basis definieren, die eine Fallunterscheidung basierend auf dem zweiten Argument durchführen, um die entsprechende Shift Operation auszuwählen. Implementieren Sie den gewählten Ansatz und fügen Sie entsprechende Tests hinzu.
Tech Stack
Keine
Domain
backend
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Git
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
65