haskell-nix/hnix

Add typing information for all builtins (revisit after #1016)

Aperta

#294 aperta il 4 mag 2018

Vedi su GitHub
 (15 commenti) (4 reazioni) (0 assegnatari)Nix (116 fork)github user discovery
builtinsgood first issuehelp wanted

Metriche repository

Star
 (835 stelle)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

For example, builtins.add would have the type: TMany [typeInt ~> typeInt, typeInt ~> typeFloat, typeFloat ~> typeInt, typeFloat ~> typeFloat]

Guida contributor

Direzione di ricerca
Esamina il sistema di tipi di hnix e trova lo schema per i builtins come add. Aggiungi le firme di tipo per ogni builtin seguendo l'esempio fornito.
Tech stack
haskell
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.
Abbastanza chiara
Prerequisiti
Haskell
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50