• Alex@programming.dev
    link
    fedilink
    arrow-up
    2
    ·
    7 months ago

    That’s false for closures (or unnamed/inline) functions with context because their type is unique and so you just can’t write their type and that’s not a lang’s fault - that’s logically correct side-effect by-design.