Comment by pjmlp

Only for those ideologically against GC in systems programming languages.

https://mirage.io

> Docker Desktop avoids this problem by forwarding all traffic at user-level via vpnkit, a TCP/IP stack written in OCaml on top of the network protocol libraries of the MirageOS Unikernel project.

https://www.docker.com/blog/how-docker-desktop-networking-wo...

https://ocaml.github.io/ocamlunix/ocamlunix.pdf

And to go back to the 1980s, more broadly than only OCaml,

"Eric Bier Demonstrates Cedar"

https://www.youtube.com/watch?v=z_dt7NG38V4

Or if you prefer bare metal stuff, with hard real time requirements, and somehow more mainstream language,

> Aonix PERC Ultra Virtual Machine supports Lockheed Martin's Java components in Aegis Weapon System aboard guided missile cruiser USS Bunker Hill

https://www.militaryaerospace.com/computers/article/16724324...

> Thales Air Systems Selects Aonix PERC Ultra For Java Execution on Ground Radar Systems

https://vita.militaryembedded.com/5922-thales-execution-grou...

Nowadays Aonix has been integrated into PTC.

https://www.ptc.com/en/products/developer-tools/perc