SuperFola to Programming Languages@programming.devEnglish • 1 year agoType inference was a mistakeborretti.meexternal-linkmessage-square46fedilinkarrow-up169arrow-down111
arrow-up158arrow-down1external-linkType inference was a mistakeborretti.meSuperFola to Programming Languages@programming.devEnglish • 1 year agomessage-square46fedilink
minus-square@sajran@lemmy.mllinkfedilinkEnglish14•1 year 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-square@lseif@sopuli.xyzlinkfedilink3•1 year agoanything that supports your language’s language server protocol
minus-square@sajran@lemmy.mllinkfedilinkEnglish2•edit-21 year agoYup, that’s what I meant. I really don’t see why anyone wouldn’t use it nowadays.
minus-square@sudo@programming.devlinkfedilink0•1 year agoI dont think external tooling should be a factor in deciding your language’s definition.
minus-square@lseif@sopuli.xyzlinkfedilink1•1 year agoa lot of languages these days ship with tooling.
minus-square@sudo@programming.devlinkfedilink1•1 year 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.