mikidep@lemmy.world to Programmer Humor@programming.dev · 1 year agoWe did this to ourselveslemmy.worldimagemessage-square40fedilinkarrow-up1123arrow-down112
arrow-up1111arrow-down1imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 1 year agomessage-square40fedilink
minus-squaretatterdemalion@programming.devlinkfedilinkarrow-up9·1 year agoYes if you use type annotations. Languages like Python and Typescript end up resorting to “Any” types a lot of the time, which breaks any kind of theorem proving you might have otherwise benefited from.
minus-squarexmunk@sh.itjust.workslinkfedilinkarrow-up4arrow-down2·1 year agoI know Java developers that are addicted to Object. Hit them over the head with an ensmarttening stick and reject their PRs.
Yes if you use type annotations. Languages like Python and Typescript end up resorting to “Any” types a lot of the time, which breaks any kind of theorem proving you might have otherwise benefited from.
I know Java developers that are addicted to Object. Hit them over the head with an ensmarttening stick and reject their PRs.