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 : Im happy now thanks to Dieter (really good howto on how to recompile the stock Nvidia Jetson Nano Linux… https://t.co/ulo3NoUpQQ

RT : There are now Go builders on build.golang.org for android/arm, android/arm64, darwin/arm64 (iOS) running on… https://t.co/9lBRv60mYb

RT : Npcap for ARM64 coming soon! This means we'll be able to capture raw network traffic and analyze it with Wireshark… https://t.co/1ivK18fCsQ

RT : Come and see a shiny new latest and greatest @arm server running 30 in the boo… https://t.co/eDiAvivcGR