mikidep@lemmy.world to Programmer Humor@programming.dev · 2 years agoWe did this to ourselveslemmy.worldimagemessage-square15linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 2 years agomessage-square15linkfedilink
minus-squarekronicmage@lemmy.calinkfedilinkarrow-up1·2 years 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
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