Hacker News Reader

Comment by systems | Hacker News Reader

yes it can be used to create systems and backend tools

   - it is used to create an OS https://github.com/mirage
   - it is used to create a transpiler https://melange.re/v2.2.0/
   - it was used to create Rust first compiler

ocaml is surely a systems language

View on HN

The predominant OCaml shop is Jane Street, they have a good podcast where they talk to those involved in their infrastructure. A lot of the episodes go into the tradeoffs between the GC'd and functional OCaml vs languages like C++ and Rust:

https://signalsandthreads.com/

There's nothing "system" about a compiler. What language hasn't been used to create a compiler or two? If languages used to create compilers are system languages, then all languages are system languages.

Writing a OS is more "system", and certainly those using the Mirage operating system use OCaml as a system language.

So sad IncludeOS https://github.com/includeos/IncludeOS is no longer developed.

Reply on news.ycombinator.com