SuperFola@programming.dev to Programming Languages@programming.devEnglish · 9 months agoType inference was a mistakeborretti.meexternal-linkmessage-square46fedilinkarrow-up168arrow-down111
arrow-up157arrow-down1external-linkType inference was a mistakeborretti.meSuperFola@programming.dev to Programming Languages@programming.devEnglish · 9 months agomessage-square46fedilink
minus-squaresajran@lemmy.mllinkfedilinkEnglisharrow-up14·9 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·9 months agoanything that supports your language’s language server protocol
minus-squaresajran@lemmy.mllinkfedilinkEnglisharrow-up2·edit-29 months agoYup, that’s what I meant. I really don’t see why anyone wouldn’t use it nowadays.
minus-squaresudo@programming.devlinkfedilinkarrow-up1arrow-down1·9 months agoI dont think external tooling should be a factor in deciding your language’s definition.
minus-squarelseif@sopuli.xyzlinkfedilinkarrow-up1·9 months agoa lot of languages these days ship with tooling.
minus-squaresudo@programming.devlinkfedilinkarrow-up1·9 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.