@[email protected] to Programmer [email protected] • 8 months agoWe did this to ourselveslemmy.worldimagemessage-square42arrow-up1125arrow-down112
arrow-up1113arrow-down1imageWe did this to ourselveslemmy.world@[email protected] to Programmer [email protected] • 8 months agomessage-square42
minus-square@[email protected]linkfedilink2•8 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
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