[haneul]

Why moving away from Python at that threshold?

[seabrookmx]

The threshold is arbitrary, and likely higher in reality. But we found that we want something with more sound type checking and mypy has lots of rough edges. The Python ecosystem has a lot of catching up to do here.