Spécification de grammaire pour un nouveau langage de programmation
2025-07-30
Ce document définit méticuleusement les règles grammaticales d'un nouveau langage de programmation, couvrant divers aspects tels que les types, les expressions, les motifs, les définitions de fonctions et les définitions de types. Une série de règles de grammaire sans contexte (notation BNF) décrit précisément la structure du langage, fournissant une base solide pour l'implémentation d'un compilateur et d'un interpréteur. Ce langage puissant prend en charge des fonctionnalités avancées telles que la programmation fonctionnelle, la correspondance de motifs et l'inférence de types.