Recherche:

Oui, c'est toujours le cas. Cette fonctionnalité n'est pas prévue à court terme. Personnellement, je ne trouve pas ce manque très gênant.

As-tu des exemples où remplacer un foncteur par une...

Oui, ils sont en lecture seule. J'évite en géneral tous les effets de bords qui ne sont pas nécessaires.

Mais ton code est bien aussi, tu peux le garder (et il est plus intuitif pour un...

Je pensais surtout à éviter les effets de bords. Par exemple, quelque chose comme :


type 'a Interval(?up, ?down) =
let down, up : 'a type_inf * 'a type_inf =
let down = defaultArg...

Je ne me suis pas plongé dans ton code au niveau algo, mais je suis convaincu qu'on peut le faire beaucoup plus court.

Tu peux commencer par déclarer ton type de cette façon :

type 'a type_inf...

J'imagine que ta version de F# date un peu.



Comment ça ? Tu utilisais les opérateurs > et <. min et max se comportent de la même façon.


Et par la même occasion :

Quelques remarques en vrac :

Vu que tu es passé au mode light, tu peux supprimer tous les "class", "begin" et "end" de ton code.

"min" et "max" sont des fonctions disponibles par défaut, comme...

J'ai modifié mon message entre temps. D'après ton erreur, il faut juste ajouter les mots-clés "class" et "end".


type 'a foo = class
...
end

Salut,

Le compilateur indique un problème de typage et te demande d'ajouter une annotation de type.

En lisant ton code, j'ai déduit que le paramètre 'a de Interval devait être utiliser aussi...