CakeML/cakeml

more readable grammar

Offen

#94 geöffnet am 28.11.2015

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (1 zugewiesene Person)Standard ML (98 Forks)auto 404
help wantedmedium effortmedium reward

Repository-Metriken

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

Beschreibung

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

Contributor Guide

Research-Richtung
Überprüfen Sie die aktuelle CakeML Grammatik und die Mailinglisten Diskussion, um die Designziele zu verstehen. Schlagen Sie eine vereinfachte Grammatik auf hoher Ebene vor, die die wesentliche Semantik erfasst und gleichzeitig lesbar bleibt.
Tech Stack
Keine
Domain
compilers
Issue Type
Refactoring
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.
Recherche nötig
Voraussetzungen
Standard MLparser theory
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30