• Kache@lemm.ee
    link
    fedilink
    arrow-up
    6
    arrow-down
    1
    ·
    6 days 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