mikidep@lemmy.world to Programmer Humor@programming.dev · 11 months agoWe did this to ourselveslemmy.worldimagemessage-square34fedilinkarrow-up122arrow-down12
arrow-up120arrow-down1imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 11 months agomessage-square34fedilink
minus-squarekronicmage@lemmy.calinkfedilinkarrow-up12·11 months agoThis is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf
minus-squarespicyemu@programming.devlinkfedilinkarrow-up3·11 months agoThat looks like something I’ve seen somewhere and didn’t understand.
This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf
That looks like something I’ve seen somewhere and didn’t understand.