OCaml has often historically been considered a language that's been appropriate to write systems tooling like compilers, runtimes, and unikernels in, even though GC'd languages were/are not often considered for such projects.

▲

pjmlp 4 hours ago | parent [-]

They are considered in many research labs since Xerox, unfortunately there are still too much anti-GC religion among mainstream devs.

	▲	sph an hour ago \| parent [-]
		I don’t think there’s too many of us on the ‘GC did nothing wrong’ hill. Reading the average HN opinion, it seems everybody is writing high-performance latency-sensitive systems that would implode if a response would take 1 ms longer than normal.