SuperFola@programming.dev to Programming Languages@programming.devEnglish · 8 months agoType inference was a mistakeborretti.meexternal-linkmessage-square46fedilinkarrow-up169arrow-down110
arrow-up159arrow-down1external-linkType inference was a mistakeborretti.meSuperFola@programming.dev to Programming Languages@programming.devEnglish · 8 months agomessage-square46fedilink
minus-squaresajranlinkfedilinkEnglisharrow-up13·8 months agoThe solution to this problem (and many others) is to use an IDE / editor which supports refactoring like that. Which is pretty much every IDE / editor unless you’re using some very obscure language I think.
minus-squarelseif@sopuli.xyzlinkfedilinkarrow-up3·8 months agoanything that supports your language’s language server protocol
minus-squaresajranlinkfedilinkEnglisharrow-up2·edit-28 months agoYup, that’s what I meant. I really don’t see why anyone wouldn’t use it nowadays.
minus-squaresudo@programming.devlinkfedilinkarrow-up1·8 months agoI dont think external tooling should be a factor in deciding your language’s definition.
minus-squarelseif@sopuli.xyzlinkfedilinkarrow-up1·8 months agoa lot of languages these days ship with tooling.
minus-squaresudo@programming.devlinkfedilinkarrow-up1·8 months agoThat doesnt change my point. The tooling is completely downstream of the language.
The solution to this problem (and many others) is to use an IDE / editor which supports refactoring like that. Which is pretty much every IDE / editor unless you’re using some very obscure language I think.
anything that supports your language’s language server protocol
Yup, that’s what I meant. I really don’t see why anyone wouldn’t use it nowadays.
I dont think external tooling should be a factor in deciding your language’s definition.
a lot of languages these days ship with tooling.
That doesnt change my point. The tooling is completely downstream of the language.