[dependenttypes]

In python you have to focus more on the debugging where this run-time type-error came from. Also, Haskell has type inference unlike the other two.

[blub]

Python merely allows you to program quite close to a state where you focus on the problem and less on the infrastructure and syntax required to solve the problem. At least in exploratory phases and when working with smaller pieces of code.

Other languages almost always require more thinking and design upfront, even when doing exploratory programming.

[dependenttypes]

> and less on the infrastructure and syntax required to solve the problem

I do not think that this is true for python any more than it is true for haskell for example.