Ton assert est donc totalement synonyme d’un truc style
class six(a: int) { n=6 }
a : six = add_five(1) ;
Ça amène a une question : tu typecheck dans ton document uniquement les paramètre des fonctions. En principe on vérifie que toutes les instructions typecheckent ?
[^] # Re: théorie des ensembles pas naives
Posté par thoasm . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.
Ton assert est donc totalement synonyme d’un truc style
class six(a: int) { n=6 }
a : six = add_five(1) ;
Ça amène a une question : tu typecheck dans ton document uniquement les paramètre des fonctions. En principe on vérifie que toutes les instructions typecheckent ?