1. You can implement supervisor trees in rust or python, but neither of them have a runtime that supports that out of the box and an exception handling system

1. You can implement supervisor trees in rust or python, but neither of them have a runtime that supports that out of the box and an exception handling system that works harmoniously with that runtime, so you'd have to implement that all yourself, and it turns out to be a non-trivial task. 2. erlang has a variety of type checks at a number of conceptual levels, so strongly recommend you go plow through something like https://learnyousomeerlang.com/ https://learnyousomeerlang.com/ in order to improve your understanding here.