CakeML/cakeml

more readable grammar

Ouverte

#94 ouverte le 28 nov. 2015

Voir sur GitHub
 (2 commentaires) (0 réaction) (1 personne assignée)Standard ML (98 forks)auto 404
help wantedmedium effortmedium reward

Métriques du dépôt

Stars
 (1 169 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

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

Guide contributeur

Direction de recherche
Examinez la grammaire actuelle de CakeML et la discussion sur la liste de diffusion pour comprendre les objectifs de conception. Proposez une grammaire de haut niveau simplifiée qui capture la sémantique essentielle tout en restant lisible.
Stack technique
Aucun
Domaine
compilers
Type d'issue
Refactorisation
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Investigation requise
Prérequis
Standard MLparser theory
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
30