onlinepersona@programming.dev to Programmer Humor@programming.devEnglish · 7 months agoProbably the wrong meme formatprogramming.devimagemessage-square47fedilinkarrow-up12arrow-down12file-text
arrow-up10arrow-down1imageProbably the wrong meme formatprogramming.devonlinepersona@programming.dev to Programmer Humor@programming.devEnglish · 7 months agomessage-square47fedilinkfile-text
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up0·7 months agoRegarding erasure, this is a good read. https://cr.openjdk.org/~briangoetz/valhalla/erasure.html
minus-squarehydroptic@sopuli.xyzlinkfedilinkarrow-up0arrow-down1·7 months agoGreat article, thanks for the link! It makes good points that I hadn’t really considered; I’ve probably just been cranky about it because I’ve preferred heterogenous translations
Regarding erasure, this is a good read. https://cr.openjdk.org/~briangoetz/valhalla/erasure.html
Great article, thanks for the link! It makes good points that I hadn’t really considered; I’ve probably just been cranky about it because I’ve preferred heterogenous translations