SuperFola@programming.dev to Programming Languages@programming.devEnglish · 7 months agoType inference was a mistakeborretti.meexternal-linkmessage-square46fedilinkarrow-up169arrow-down111
arrow-up158arrow-down1external-linkType inference was a mistakeborretti.meSuperFola@programming.dev to Programming Languages@programming.devEnglish · 7 months agomessage-square46fedilink
minus-squarelseif@sopuli.xyzlinkfedilinkarrow-up3·7 months agoanything that supports your language’s language server protocol
minus-squaresajran@lemmy.mllinkfedilinkEnglisharrow-up2·edit-27 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·7 months agoI dont think external tooling should be a factor in deciding your language’s definition.
minus-squarelseif@sopuli.xyzlinkfedilinkarrow-up1·7 months agoa lot of languages these days ship with tooling.
minus-squaresudo@programming.devlinkfedilinkarrow-up1·7 months agoThat doesnt change my point. The tooling is completely downstream of the language.
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.