[Taikonerd]

OCaml is...

* functional

* strongly, statically typed

* garbage-collected

OCaml can compile to a native binary, or to JS via ReScript (formerly BuckleScript).

[christophilus]

Also, it compiles very quickly compared to most other statically typed languages; especially compared to more advanced ones.

[Zababa]

> OCaml can compile to a native binary, or to JS via ReScript (formerly BuckleScript).

It can also compile to JS via js_of_ocaml!