Octachron a répondu sur comment éviter ce comportement. Remarque que ce comportement est une bonne chose. Je peux définir
type 'a function_to_int = 'a -> int
type 'b function_from_bool = 'b -> bool
et je suis bien content de pouvoir aussi utiliser la fonction int_of_bool à la fois au type bool function_to_int et int function_from_bool, donc que ces deux types soient égaux.
[^] # Re: Type fantôme
Posté par gasche . En réponse au journal Une petite histoire d'utilisation type fort dans Ocaml. Évalué à 3. Dernière modification le 15 janvier 2017 à 21:16.
Octachron a répondu sur comment éviter ce comportement. Remarque que ce comportement est une bonne chose. Je peux définir
et je suis bien content de pouvoir aussi utiliser la fonction
int_of_boolà la fois au typebool function_to_intetint function_from_bool, donc que ces deux types soient égaux.