If you like that concept, then check out this functional language in system programming that didn't require a LISP machine: https://en.wikipedia.org/wiki/PreSc

If you like that concept, then check out this functional language in system programming that didn't require a LISP machine: https://en.wikipedia.org/wiki/PreScheme https://en.wikipedia.org/wiki/PreScheme The House and MirageOS operating systems also put Haskell and Ocaml to work for this respectively. House even did drivers in Haskell with a modified version of hop. Here's their site: http://programatica.cs.pdx.edu/House/ http://programatica.cs.pdx.edu/House/