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

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...