Just to add some details:

- Static typing -- Type hints enable restriction of the dynamic typing behavior of default Python to mimic static types

- Type inference -- Not familiar with the particular behavior of type inference of Haskell, but yes.

- No JVM -- Definitely no JVM, but not particularly high performance so...there is that.

- Good pre-made web framework -- Lots of good ones, Python ecosystem is fairly rich in general, but ones I have used: Django, Pyramid, Flask, etc.

That's a really good point! I have used the CherryPy framework before, but I've never used Python type hints before.