Pyre: Fast Type Checking for Python
It&#x27;s interesting how static type systems are slowly gaining more adoption now by being bolted on to popular dynamic languages. It feels like a weird approach compared to using a language that was designed from the ground up to have a strong static type system but it&#x27;s practical in terms of easing people into it.