Avec la définition usuelle de type, le type de 8 est number; et int, even, mod4 sont des refinement types de number. La distinction est potentiellement intéressant vu que le type number est facilement inférrable sans ambiguïtés tandis qu'il n'est pas souhaitable de vérifier que le type de 8 puisse être raffiné en mod4 avant d'essayer d'appliquer une fonction de type mod4 → α à 8.
[^] # Re: théorie des ensembles pas naives
Posté par octachron . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 3.
Avec la définition usuelle de type, le type de
8estnumber; etint,even,mod4sont des refinement types denumber. La distinction est potentiellement intéressant vu que le typenumberest facilement inférrable sans ambiguïtés tandis qu'il n'est pas souhaitable de vérifier que le type de8puisse être raffiné enmod4avant d'essayer d'appliquer une fonction de typemod4 → αà8.