>a strict Python that actually runs fast with types...
Isn't that just C with extra steps
C is the last thing I'd call strict XD
C is the last thing I'd call strict XD