SuperFola@programming.dev to Programming Languages@programming.devEnglish · 6 months agoType inference was a mistakeborretti.meexternal-linkmessage-square14fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkType inference was a mistakeborretti.meSuperFola@programming.dev to Programming Languages@programming.devEnglish · 6 months agomessage-square14fedilink
minus-squareAlex@programming.devlinkfedilinkarrow-up1·6 months agoThat’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.
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.