> I do agree that there is often not enough semantics in OCaml types, but > please notice that the order of arguments and whether the function is > currified is not relevant. Indeed, doing type search up to isomorphisms > allows to get rid of these details,
Ha. I slipped the up to isomorphisms part. Quite cool indeed. Best, Daniel -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
