Haskell: https://en.wikipedia.org/wiki/House_(operating_system) https://en.wikipedia.org/wiki/House_(operating_system) Haskell: https://github.com/GaloisInc/Ha

Haskell: https://en.wikipedia.org/wiki/House_(operating_system) https://en.wikipedia.org/wiki/House_(operating_system) Haskell: https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM OCaml: https://mirage.io/ https://mirage.io/ ML: http://dspace.mit.edu/handle/1721.1/47545 http://dspace.mit.edu/handle/1721.1/47545 Lisp: In the 1970s and 1980s there were Lisp Machines with the OS written in Lisp. Too many sources to link here, they are often discussed on HN. They were marketed in the 1980s by Symbolics, LMI, and Xerox. Also in the 1970s and 1980s there were computers running Smalltalk standalone - in effect, an OS in Smalltalk. They provided introspection.