• ParetoOptimalDev
    link
    fedilink
    arrow-up
    1
    ·
    2 years ago

    Most statically typed languages can’t because they don’t implement Hindley-Milner type inference.