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.

RT : CXL is important for our industry and is thrilled to help drive it. community.arm.com/developer/ip…

RT : The cases arrived from factory today; perfect fit, excellent finish and a smooth aluminum alloy injectio… https://t.co/urmT5TOrJe

RT : With this small change my k8s controller startup went from seconds to milliseconds :) github.com/kubernetes/kubernet…