Lazi

Vérification des types

Voir aussi l'ancienne page (qui avait besoin d'être réorganisée).

Description

C'est l'équivalent des systèmes de déclaration et de vérification des types d'autres langages comme Haskell ou C++. Après la définition de lazi.0 cela apparaît comme une nécessité car le système de typage apporte une aide énorme dans la recherche d'erreurs. Nous verrons que cette nécessité implique la définition de lazi.1.0.

Sous-tâches