On the impl side, WebAssembly was built from the beginning to support that use case, and many languages are adding backend support for it. On the language side, I really like type systems with Algebraic Effects (koka-lang.org has some of the cool research into it).