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
- 15 Posts
- 110 Comments
Joined 2 years ago
Cake day: June 12th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Just use parser combinators
23 year old Nix user…
4·2 years agoHow much difference does an ooni make compared to a 550F convection oven?
4·2 years agoI’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
This joke is out of this world
2·2 years agoNice to see the entire country get together and celebrate it!
Smart Sam Altman
41·2 years agoEnd of an era
7·2 years agoPortable pots are great axles for bikes and tricycles
7·2 years agoWhat a coincidence
3·2 years agoThis is how we become the front page of the internet – it’s not gonna be instant, but keep posting and understand with content here first and slowly but surely we’ll be the place to be
It’s always CedarWolf
1·2 years agoWe thought about that, but this was our honeymoon trip and we really didn’t want to mess with our schedule when we have the full day wedding to take care of as well. Maybe next time!
3·2 years agoMaybe we should pull a Hacker News and start a culture of putting the year of articles in the title
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