onlinepersona@programming.dev to Programmer Humor@programming.devEnglish · 10 months agoProbably the wrong meme formatprogramming.devimagemessage-square56fedilinkarrow-up155arrow-down121file-text
arrow-up134arrow-down1imageProbably the wrong meme formatprogramming.devonlinepersona@programming.dev to Programmer Humor@programming.devEnglish · 10 months agomessage-square56fedilinkfile-text
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up0·10 months agoRegarding erasure, this is a good read. https://cr.openjdk.org/~briangoetz/valhalla/erasure.html
minus-squarehydroptic@sopuli.xyzlinkfedilinkarrow-up0arrow-down1·10 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