Coins sombres

Exemples plus costauds, à lire après les bases. Ici, on passe en mode expert.

Fichiers

• 01_pragma_features.cat - pragmas et directives (TCO, cache, debug)
• 02_structs.cat - structs avec méthodes, héritage et pattern matching
• 03_traits.cat - traits, composition, héritage de traits et diamonds
• 04_operator_overloading.cat - surcharge d'opérateurs
• 05_nd_recursion.cat - récursion non-déterministe (NDScheduler, NDFuture)
• 06_binary_search.cat - algorithme de recherche binaire
• 07_knapsack.cat - problème du sac à dos (brute force + ND-mémoïsé)
• 08_advanced_techniques.cat - panorama des techniques (calculatrice, Fibonacci, premiers)
• 09_turing_completeness.cat - démonstration Turing-complétude
• 10_enums.cat - types énumérés, pattern matching et machine à états
• 11_unions.cat - unions taggées (ADT) : variantes avec payload, génériques, machine à états

Lancer

catnip docs/examples/advanced/02_structs.cat
catnip docs/examples/advanced/06_binary_search.cat

# Le binaire standalone `catnip` (catnip-run) ne supporte pas encore les
# unions ; lancer via le CLI Python qui passe par la PyO3 VM :
python -m catnip docs/examples/advanced/11_unions.cat

python docs/examples/advanced/11_pickle_example.py