CakeML/cakeml

Support for multi-case functions defined by pattern matching

Offen

#264 geöffnet am 23.04.2017

Auf GitHub ansehen
 (8 Kommentare) (0 Reaktionen) (2 zugewiesene Personen)Standard ML (98 Forks)auto 404
enhancementhelp wantedhigh effortlow rewarduser experience

Repository-Metriken

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

Beschreibung

Function declarations currently only accept variables as arguments, but in SML one can do pattern matching with a declaration. CakeML AST does not support that, but the parser could generate the corresponding case expression on the tuple of argument variables. Or the AST could be augmented, if necessary, to do something more sophisticated.

Contributor Guide

Research-Richtung
Untersuche den Parser und AST von CakeML, um zu verstehen, wie Pattern Matching in Funktionsdeklarationen in Case Ausdrücke auf Tupel von Argumenten umgewandelt werden kann.
Tech Stack
Keine
Domain
compilers
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.
Halber Tag
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
SMLGitCompiler Design
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30