REPL interactive¶

La commande galois repl lance une boucle interactive pour tester rapidement du code.

Lancer la REPL¶

galois repl

Mode optimisé :

galois repl --release

Fonctionnement (style Python)¶

>>> : nouvelle entrée
... : continuation d'un bloc (fonction, condition, etc.)
Entrée : ajoute une ligne au bloc courant
Shift+Entrée : exécute le bloc courant (si supporté par votre terminal)
Entrée sur une ligne vide : exécute aussi le bloc courant

Si votre terminal ne remonte pas Shift+Entrée, utilisez une ligne vide ou :executer.

Exemple¶

>>> soit x = 40
... afficher(x + 2)
... :executer
42
>>> fonction double(n: entier): entier
...     retourne n * 2
... fin
... afficher(double(21))
... :executer
42

Commandes internes¶

Commande	Effet
`:executer`	Force l'exécution du bloc courant
`:afficher`	Affiche l'historique et le bloc courant
`:vider`	Vide le bloc courant
`:reinitialiser`	Réinitialise tout l'historique
`:quitter`	Quitte la REPL

Bonnes pratiques¶

Utilisez la REPL pour valider une expression ou une API avant de coder un fichier complet.
Réinitialisez (:reinitialiser) quand vous changez de sujet pour éviter les effets de bord.
Basculer ensuite vers galois run fichier.gal pour figer l'exemple.