CakeML/cakeml

Support for multi-case functions defined by pattern matching

Aperta

#264 aperta il 23 apr 2017

Vedi su GitHub
 (8 commenti) (0 reazioni) (2 assegnatari)Standard ML (98 fork)auto 404
enhancementhelp wantedhigh effortlow rewarduser experience

Metriche repository

Star
 (1169 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Studia il parser e l'AST di CakeML per capire come il pattern matching nelle dichiarazioni di funzione possa essere trasformato in espressioni case su tuple di argomenti.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
SMLGitCompiler Design
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30