In the Beginning was OCaml
The OCaml language has been in development for over 20 years.[54] (The ml in OCaml and in ReasonML stands for meta-language, not machine learning. The latter abbreviation has become very popular recently and is now a source of some confusion when talking about ReasonML.) Files written in OCaml have an extension of ml for source code and mli for interface files. The OCaml parser takes those files to create an internal format known as the OCaml AST (Abstract Syntax Tree). The parser is not an independent tool. It is built into the ocamlc, ocamlopt, and bsc tools. Let’s talk about them.
The ocamlc compiler translates the AST to a bytecode executable. This bytecode format, like Java bytecode, is intended to be portable. ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access