I'll take a sloppily named Haskell codebase over a well-named Python codebase, especially when reliability is compared.

Type-safety of the Java kind might be overrated. Type-safety of the Haskell kind, though is hard to over-rate. It catches the vast majority of bugs, including ones people would refer to as "logic bugs".