CakeML/cakeml

more readable grammar

Aperta

#94 aperta il 28 nov 2015

Vedi su GitHub
 (2 commenti) (0 reazioni) (1 assegnatario)Standard ML (98 fork)auto 404
help wantedmedium effortmedium reward

Metriche repository

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

Descrizione

The current CakeML grammar is carefully designed to be non-ambiguous, but as a result has a surprising number of non-terminals and is quite involved. For presentation purposes, it would be nice to have a (possibly ambiguous) higher-level grammar, that can then be used as the semantics, with the current grammar relegated as an implementation strategy.

See also https://lists.cakeml.org/private/dev/2015-November/001365.html

Guida contributor

Direzione di ricerca
Rivedi la grammatica corrente di CakeML e la discussione nella mailing list per comprendere gli obiettivi di progettazione. Proponi una grammatica di alto livello semplificata che catturi la semantica essenziale mantenendo la leggibilità.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Refactoring
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Richiede indagine
Prerequisiti
Standard MLparser theory
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30