You might be able to kernelize it in a way where other language features are built on top of it. That's what House team did for a Haskell-based OS with unsafe s

You might be able to kernelize it in a way where other language features are built on top of it. That's what House team did for a Haskell-based OS with unsafe stuff was stuffed into the H Layer. http://programatica.cs.pdx.edu/House/ http://programatica.cs.pdx.edu/House/ Likewise, metaprogramming routines that generate C code or interfaces for you from language statements closer to host.