Depends on what exactly you mean by “type inference”, “fast”, and “easy as Python”.
Smalltalk has been pretty fast for ages (without inference, and may or may not be as easy as Python to you).
JavaScript JITs can use a form of type inference, so you get the benefits of speed with no change to syntax. Again, it’s pretty fast, and “easy” is in the eye of the beholder.
