Discussion :

[Sara-SW]

Bonjours à tous,

Au fait j'essaye de définir un type minuscule qui est donc composé que de char minuscules,
j'ai essayé avec:

Code :

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

type minuscule = 'a' | 'b' | 'c' | ... | 'z'

mais cela ne marche pas, s'il vous plait aidez moi, je bloque dessus et j'arrive pas à trouver de solution.
Merci à l'avance!

[prgasp77]

Bonjour.

Concernant ton problème, Caml ne peut pas, à ma connaissance, restreindre un type en un sous type suivant des valeurs autorisées, et d'autres pas. La solution que je préconiserais serait, si tu as vraiment besoin d'un tel type, de faire cela en deux couches.
D'une part un type lettre

Code :

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

type lettre = A | B | ... | Z

et d'autre part une fonction qui à une de ces lettre associe un caractère :

Code :

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

function A -> 'a' | ... | Z -> 'z'

Mais suivant le problème que tu cherches à résoudre, tu devrais pouvoir faire plus simple

[Cacophrene]

Bonsoir,

Tu peux aussi utiliser des types fantômes :

Code :

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

1
2
3
4
5
6
7
type 'a chr = char
type lcase

let validate (chr : 'a chr) =
  if Char.lowercase chr = chr then (chr : lcase chr) 
  else invalid_arg "validate"

Le type 'a chr n'est autre qu'un caractère simple (type char), mais il reçoit un paramètre qui indique s'il s'agit d'une lettre minuscule.

Cordialement,
Cacophrène

[gasche]

Cacophrène : ton code n'est pas bon, il faut une signature de module pour que le type ('a chr) soit abstrait, sans quoi le type fantôme ne sert à rien :

Code :

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

1
2
3
4
# type 'a chr = char;;
# type lcase;;
# ('A' : lcase chr);;
- : lcase chr = 'A'

[Cacophrene]

Bonsoir,

Cacophrène : ton code n'est pas bon, il faut une signature de module pour que le type ('a chr) soit abstrait, sans quoi le type fantôme ne sert à rien

Tu as raison de le préciser, bluestorm. C'était un peu implicite pour moi, mais vu qu'on s'adresse à un débutant, autant tout détailler jusqu'au bout. Merci d'y avoir contribué.

Cordialement,
Cacophrène

[Sara-SW]

je vous remercie pour votre aide, j'ai du faire un mix, et puis ca marche bien
*encore merci