@mikidep@lemmy.world to Programmer Humor@programming.dev • 2 years agoWe did this to ourselveslemmy.worldimagemessage-square48fedilinkarrow-up1124arrow-down112
arrow-up1112arrow-down1imageWe did this to ourselveslemmy.world@mikidep@lemmy.world to Programmer Humor@programming.dev • 2 years agomessage-square48fedilink
minus-square@kronicmage@lemmy.calinkfedilink25•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
minus-square@spicyemu@programming.devlinkfedilink3•2 years 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.