Spécification du Langage

Documentation complète de la syntaxe et des propriétés du langage Catnip.

Référence Principale

• LANGUAGE.md - Spécification complète du langage Syntaxe, grammaire, opérateurs, structures de contrôle, fonctions, pattern matching, scoping

Concepts du Langage

• BROADCAST.md - Notation vectorielle sur collections Opérations vectorielles avec A.[op M], transformations sur listes/dicts, patterns de broadcasting

• SCOPES_AND_VARIABLES.md - Portée des variables et closures Résolution de scope, shadowing, captures de variables, closures, durée de vie

Directives et Pragmas

• PRAGMAS.md - Directives de compilation Configuration TCO, options de parsing, contrôle du comportement

Propriétés Formelles

• TURING_COMPLETENESS.md - Preuve de Turing-complétude Démonstration formelle, critères théoriques, exemples d'algorithmes

Glossaire

• GLOSSARY.md - Termes techniques Définitions des concepts clés, terminologie du langage