CakeML/cakeml

more readable grammar

Aberta

#94 aberto em 28 de nov. de 2015

Ver no GitHub
 (2 comentários) (0 reação) (1 responsável)Standard ML (98 forks)auto 404
help wantedmedium effortmedium reward

Métricas do repositório

Stars
 (1.169 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

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

Guia do colaborador

Direção de pesquisa
Revise a gramática atual do CakeML e a discussão na lista de e mails para entender os objetivos de design. Proponha uma gramática de alto nível simplificada que capture a semântica essencial enquanto mantém a legibilidade.
Pilha de tecnologia
None
Domain
compilers
Tipo Issue
Refatoração
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Precisa de investigação
Prerequisites
Standard MLparser theory
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30