kisp-nus/anvil

Parameterisation support

Aperta

#4 aperta il 18 ott 2024

Vedi su GitHub
 (2 commenti) (0 reazioni) (1 assegnatario)OCaml (10 fork)auto 404
enhancementgood first issuelow priority

Metriche repository

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

Descrizione

  • Process definition
  • Type definition
  • Channel definition
  • Lifetime

Guida contributor

Direzione di ricerca
Studia le definizioni esistenti di processo, tipo e canale per capire come aggiungere la parametrizzazione della durata. Esamina l'implementazione del type checker e segui il modello delle definizioni parametrizzate esistenti.
Tech stack
Nessuno
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.
3-5 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
OCamltype systems
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30