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