OCaml

    OCaml is a general purpose programming language with an emphasis on expressiveness and safety. The latest version of OCaml is 4.07.0, released on July 10, 2018.

    Examples of large scale systems implemented in OCaml include Facebook’s Hack language, the Infer static analysis tool, the Flow JavaScript inference, the Coq proof assistant, the Compcert certified C compiler, the ReasonML toolchain, and the MirageOS operating system.

    The native-code OCaml compiler supports the AArch64 (arm64) architecture since the 4.02 release in 2014.

    You can unsubscribe at any time.

    Explore Topics