Pollux (./72) :
Ouais enfin donc si t'es obligé de faire des hacks à moitié satisfaisants pour éviter les limitations du pattern-matching c'est plutôt un argument en faveur des active patterns

J'ai jamais dit que c'était mal, juste à prendre avec des pincettes .
Puis moi ça me satisfait dans mon cas

Pollux (./72) :
ah non ça c'est équivalent à (fun x->0<>x)

(ceci dit, ça m'est déjà arrivé de bugger un prog en oubliant d'inverser le sens de l'opérateur )

Pollux (./72) :
Question perf bof, je vois pas où est le pb qu'un déconstructeur

J'ai pas le temps de préciser M-backspace troller mais l'idée c'est que ça peut faire des goulots d'étranglement difficiles à cerner.