Expressions et variables

Statut documentaire : guide — voir Maturité et preuves.

functionalP prend en charge les valeurs primitives, l'affectation, l'arithmétique, les comparaisons et la composition booléenne.

Valeurs primitives

'Hello world!';
42;
42.65;
true;
false;
nil;

Utilisez les booléens typés (true / false). Ne construisez pas un comportement applicatif à partir du rendu diagnostique d'une valeur booléenne.

Affectation

message := 'Ready';
count := 3;
Result := message;

L'opérateur d'affectation est :=.

Arithmétique et comparaisons

5 + 10 * 2 + 6;
5 <> 10;
5 <= 5;
true and false;
false or true and false;

Nommez les valeurs intermédiaires lorsqu'une expression participe à une action ou à un flux d'événements plus large : les traces Runtime et le diagnostic deviennent plus lisibles.

Discipline de portée

Les variables sont des noms de travail locaux. Elles ne doivent pas remplacer implicitement les rôles conceptuels ou l'état d'un processus. Si une valeur possède un sens métier durable, modélisez-la explicitement.