:) I've always have had a soft-spot for language-based designs. It's the only way we can get fearless refactoring throughout the stack.

If I may plug, check out https://internals.rust-lang.org/t/dogfooding-z-build-std-in-.... I'm it can heave us over the fence for the types of things that will make having a no_std cargo ecosystem easier.