Discussion :

[Inked31]

Bonjour a tous, j'ai appris il y a peu la définition de types et j'ai quelques soucis au niveau de la compréhension.
J'aimerai créer un type Symbole ne comprenant uniquement les caractères +, -, * et / mais aussi le type opposé se présentant comme un n-uplet d'un symbole ne pouvant être que - et d'un int ou char (représentant un entier ou un caractère). J'ai pensé faire ça :
type char = Symbole of string ;;
type char = Variable of string ;;
type (‘a,’b) oppose = Symbole | Variable ;;
Mais je ne sais pas comment faire pour limiter le type Symbole aux symboles que je veux. J'espère avoir été assez précis et que vous pourrez m'éclairer.

[SpiceGuid]

Si tu veux simplement un type énuméré je te propose ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
type operator =
   | Add | Sub | Mul | Div
	
type negated =
   | NegInt of int
   | NegChar of char

À toi de nous dire en quoi ça (ne) correspond (pas) à tes attentes.

Si ce que tu souhaites c'est un type pour former des expressions (arithmétiques, fonctions de ℝ dans ℝ, ...) il te faudra un type récursif.