• Kache@lemm.ee
    link
    fedilink
    arrow-up
    5
    arrow-down
    1
    ·
    6 hours ago

    Dedicated incremental static type checkers for dynamic languages already exist. In particular, Pyright for Python is fantastic and in many ways surpasses the type systems of classic typed languages