Yep, the sad thing is that you can't get all in a single package.

The type system in Haskell look very good. But the cobra language have a implementation very close and in line with the spirit of python...