Exemples vérifiés
De petits programmes issus du dépôt, avec leur commande exacte, le frontend utilisé et le résultat confirmé.
Les commandes ci-dessous se lancent depuis la racine du dépôt après construction du compilateur. Chaque fiche renvoie vers le cours qui explique la notion et vers le fichier source correspondant.
Certains exemples passent par le frontend natif, d’autres par le bootstrap ou la compatibilité CLI. Un exemple confirmé ne prouve pas que toutes les formes voisines sont prises en charge ; la matrice de support détaille ces limites.
Premiers pas
Premier programme
BootstrapAffiche un message et vérifie le code de sortie du programme.
build/bin/vitte-bootstrap run examples/hello.vit --quiet --no-colorDéclarations et syntaxe
Frontend natifRelie un espace de noms, une constante et une procédure.
build/bin/vitte run examples/tutorials/syntaxe.vit --quiet --no-colorValeurs et types
Frontend natifCombine des entiers, une variable modifiable et une affectation.
build/bin/vitte run examples/tutorials/valeurs.vit --quiet --no-colorConversions explicites
Frontend natifConvertit une valeur vers u8 puis la place dans un tableau fixe.
build/bin/vitte run examples/tutorials/conversions.vit --quiet --no-colorCalculer et contrôler
Expressions et priorité
Frontend natifVérifie la différence entre 2 + 3 * 4 et (2 + 3) * 4.
build/bin/vitte run examples/tutorials/expressions.vit --quiet --no-colorProcédures et retours
Frontend natifCompose des appels avec paramètres et valeurs de retour.
build/bin/vitte run examples/tutorials/procedures.vit --quiet --no-colorBoucles et sorties anticipées
Frontend natifUtilise while, continue et break dans un calcul contrôlé.
build/bin/vitte run examples/tutorials/controle.vit --quiet --no-colorModéliser les données
Formes et choix
Frontend natifLit les champs d’une forme et une valeur portée par pick.
build/bin/vitte run examples/tutorials/formes-choix.vit --quiet --no-colorTableaux fixes
Frontend natifModifie un élément indexé et vérifie la somme du tableau.
build/bin/vitte run examples/tutorials/tableaux.vit --quiet --no-colorRéférences
BootstrapPasse une forme par référence à une procédure.
build/bin/vitte-bootstrap run examples/tutorials/references.vit --quiet --no-colorOrganiser un projet
Modules en deux fichiers
Frontend natifImporte un module sous un alias et appelle une procédure exportée.
VITTE_MODULE_PATH=examples build/bin/vitte run examples/tutorials/modules/main.vit --quiet --no-colorContrats de procédures
Compatibilité CLIVérifie une précondition et une postcondition autour d’un calcul.
build/bin/vitte run examples/tutorials/contrats.vit --quiet --no-colorRésultats négatifs attendus
Diagnostic de type attendu
Échec attenduPasse un entier à un opérateur logique qui attend un booléen.
build/bin/vitte check examples/tutorials/erreur-type.vit --quiet --no-color --diagnostic=jsonGénérique non généré
Échec attenduMontre la différence entre une forme générique écrite et le code réellement généré.
build/bin/vitte compile examples/tutorials/generiques-limites.vit --emit-c --quiet --no-color --diagnostic=json