Re: Anubis et les "catégories bicartésiennes fermées"

Retourner au contenu associé (dépêche : Sortie de la version 2.5 du langage Tom)

[^] # Re: Anubis et les "catégories bicartésiennes fermées"

Posté par Vivi le 14 juillet 2007 à 01:00. En réponse à la dépêche Sortie de la version 2.5 du langage Tom. Évalué à 2.

En OCaml, le filtrage est aussi vérifié à la compilation

tout à fait, on ne devrait pas pouvoir te prendre une erreur de filtrage à l'execution sans avoir eu un warning lors de la compil'...