News for hackers. Stuff that matters.
Re:1ML – unifying ML into one language by zem on Wednesday April 22, 2015 @08:26PM (#9424372)
ocaml already has generalised algebraic datatypes as of 4.0:

http://caml.inria.fr/pub/docs/manual-ocaml-400/manual021.htm...

There are no comments on this comment yet.