mikidep@lemmy.world to Programmer Humor@programming.dev · 2 years agoWe did this to ourselveslemmy.worldimagemessage-square40fedilinkarrow-up1123arrow-down112
arrow-up1111arrow-down1imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 2 years agomessage-square40fedilink
minus-squaretatterdemalion@programming.devlinkfedilinkarrow-up9·2 years 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·2 years 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.