> as much type safety as python That's an exaggeration. You can use error types / monads like you would do in Rust/Haskell. When you use the Core standard lib

> as much type safety as python That's an exaggeration. You can use error types / monads like you would do in Rust/Haskell. When you use the Core standard library, you can use function who don't throw exceptions. Those who do use specific name conventions (foobar_exn).