Re: théorie des ensembles pas naives

Retourner au contenu associé (journal : [Letlang] Et si on rédigeait la spec ?)

[^] # Re: théorie des ensembles pas naives

Posté par thoasm le 09 mai 2022 à 19:54. En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.
Mais ce n’est valable que sur les constantes non ?

Si tu as des fonctions style :
```
func f(four: mod4) -> { ... }
func plop(a : int) -> int {
 b : int = 8 * a
 f(b)
}
```
ça typecheck ou tu comptes vérifier ça à l’exécution ?