[procaryote]

But they say "we use ocaml [because it has types]" not "[because it can emit machine code]"

[koakuma-chan]

I would go for Rust if I wanted machine code