• ParetoOptimalDev
    link
    fedilink
    arrow-up
    1
    ·
    1 year ago

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