1. 29

  2. 2

    I wonder if someone will fork cpython, and build a compiler that has optional static checking via mypy, but does optimizations based on the types… like crystal essentially does for ruby?

    Because, while mypy gives you some assurance, since it’s external, it’s only advisory, which isn’t a guarantee.