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
- Quelles sont les fonctionnalités de la vérification des types ? | fait | 2018
- Quelle est la structure du système de vérification des types ? | fait | 2018
- Quels sont les extensions nécessaires à la vérification des types ? | en cours | 2018
- Comment définir les extensions nécessaire ? | en cours | 2018
- Implémentation des extensions nécessaires. | à faire | 2018
- Création du système traduction des déclarations des types | à faire | 2018
- Création du système de preuve automatique sur les types | à faire | 2018