You might be able to kernelize it in a way where other language features are bui...

nickpsecurity on Aug 24, 2018 | parent | context | favorite | on: The Dark Arts of Advanced and Unsafe Rust Programm...

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/

Likewise, metaprogramming routines that generate C code or interfaces for you from language statements closer to host.