minus-squarekronicmage@lemmy.catoProgrammer Humor@programming.dev•We did this to ourselveslinkfedilinkarrow-up2·9 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 linkfedilink
minus-squarekronicmage@lemmy.catoProgrammer Humor@lemmy.ml•futurelinkfedilinkarrow-up1·1 year agosmbc robot comics, true classic genre linkfedilink
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