OCaml 4.03 will have a minimal UChar type and module, that will allow various Unicode libraries to agree on a common type: https://github.com/ocaml/ocaml/pull/8

OCaml 4.03 will have a minimal UChar type and module, that will allow various Unicode libraries to agree on a common type: https://github.com/ocaml/ocaml/pull/80 https://github.com/ocaml/ocaml/pull/80 According to the author of one of the Unicode libraries that is the only thing the compiler should distribute by default, and I agree with that, otherwise you need everything that comes with Unicode too to make it useful: normalization, segmentation, etc. If an application needs that it can link with the unicode library, having it separate from the compiler means features and updates can be implemented faster. Also see here on how other languages (Python in this example) got it wrong: https://sympa.inria.fr/sympa/arc/caml-list/2014-07/msg00050.html https://sympa.inria.fr/sympa/arc/caml-list/2014-07/msg00050.... https://sympa.inria.fr/sympa/arc/caml-list/2014-07/msg00054.html https://sympa.inria.fr/sympa/arc/caml-list/2014-07/msg00054.... The linked introduction to Unicode (for OCaml but not only) is also very informative: http://erratique.ch/software/uucp/doc/Uucp.html#uminimal http://erratique.ch/software/uucp/doc/Uucp.html#uminimal