Comment on We did this to ourselves
kronicmage@lemmy.ca 1 year ago
This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: home.ttic.edu/~dreyer/course/papers/wadler.pdf
Comment on We did this to ourselves
kronicmage@lemmy.ca 1 year ago
This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: home.ttic.edu/~dreyer/course/papers/wadler.pdf
spicyemu@programming.dev 1 year ago
That looks like something I’ve seen somewhere and didn’t understand.