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
Just use parser combinators
23 year old Nix user...
How much difference does an ooni make compared to a 550F convection oven?
I'm not too familiar with the state of research but I've seen a lot of papers that use Haskell
Wow this really feels like reddit again. High quality comment followed by low effort award post. All we need now is an award speech edit
What a beauty
This joke is out of this world
Nice to see the entire country get together and celebrate it!
Smart Sam Altman
End of an era
26
What do people here like better: typed or untyped functional languages?
(self.functional_programming)
view more: next ›
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