The only languages where I've seen supervision hierarchies an an explicit design principle have had explicit ports of Erlang's concurrency model, such as Concur

The only languages where I've seen supervision hierarchies an an explicit design principle have had explicit ports of Erlang's concurrency model, such as ConcurrentLua (http://concurrentlua.luaforge.net/ http://concurrentlua.luaforge.net/).