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, lambdas, décorateurs, 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 TCO, JIT (@jit, pragma("jit", "all")), ND-recursion (mode parallèle, memoization), import de modules

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