Johan Girod

> mais dans ce cas précis il me semble que vous gagneriez à avoir une syntaxe spéciale pour déclarer deux variables reliées par des fonctions inverses non Effectivement, ça semble...

> Marquer dans les règles les données attendues en entrée, comme un groupe d'entrées ou groupe de dépendance nommé. L'API pour les clients de la base de règles serait d'extraire...

J'ai pas mal retourné la problématique, et j'en arrive à la conclusion que c'est loin d'être simple. Je partage le constat qu'il est peu lisible d'avoir une liste de règle...

Résolue !

Yes ! And it will lead to better error messages too (as the info about the col and line number would have to be added to the ASTNode)

Effectivement, le comportement actuel est loin d'être idéal... Le problème de la solution `serializeUnit`, c'est qu'elle ne fait pas de pluralisation, alors que `formatValue`, oui. Je pense néanmoins que c'est...

> Intuitivement la deuxième solution me semble préférable, à savoir retirer la formule: une possibilité: au niveau de la règle parente, et se baser pour les différentes possibilités sur l’applicabilité...

> Je viens de réaliser que ce que vous proposez ici ça peut se rapprocher des types somme extensibles : cette construction a récemment été ajoutée à OCaml : https://caml.inria.fr/pub/docs/manual-ocaml/extensiblevariants.html....

> Je pense qu'il y a confusion sur ce que c'est que "possibilité parmi". Vous parlez d'un "mécanisme" qui permet de déterminer l'applicabilité de règles ; pour moi "possibilité A...

Pour revenir sur cette issue, il me semble effectivement que la solution conceptuelle la plus satisfaisante est d'articuler le type ENUM avec un solveur de contrainte, comme évoqué par @denismerigoux...