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
- 14 Posts
- 85 Comments
kronicmage@lemmy.cato
Programming@programming.dev•Melody 0.19.0 | A language that compiles to regular expressions and aims to be more readable and maintainableEnglish
41·3 years agoJust use parser combinators
kronicmage@lemmy.cato
Fediverse@lemmy.world•Does it feel like the fediverse is exclusively used by older tech nerds?English
2·3 years ago23 year old Nix user…
kronicmage@lemmy.cato
FoodPorn@lemmy.world•[Homemade] Ooni-fired - Pepperoni, Pepper Pizza, and BBQ air-fryed Chicken wingsEnglish
4·3 years agoHow much difference does an ooni make compared to a 550F convection oven?
kronicmage@lemmy.caOPto
Functional Programming@programming.dev•Does anyone here use a functional language in their day jobs?
4·3 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
What a beauty
This joke is out of this world
kronicmage@lemmy.catoTechNews@radiation.party•[VERGE] The Reddit moderators who coordinate many celebrity AMAs will no longer do soEnglish
1·3 years agoSmart Sam Altman
kronicmage@lemmy.cato
Videos@lemmy.world•Tom Scott’s channel will stop six months from nowEnglish
41·3 years agoEnd of an era
smbc robot comics, true classic genre
kronicmage@lemmy.cato
The Legend of Zelda: Tears of the Kingdom@lemmy.world•Please I can't take any more Portable Pots
3·3 years agoPortable pots are great axles for bikes and tricycles
kronicmage@lemmy.cato
Technology@lemmy.ml•JP Morgan accidentally deletes 47 million comms recordsEnglish
6·3 years agoWhat a coincidence
kronicmage@lemmy.cato
News@kbin.social•"Debris field" found near Titanic in search for missing sub, U.S. Coast Guard says
3·3 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
kronicmage@lemmy.caOPto
Japanese Language@sopuli.xyz•My experience travelling Japan with a barely passed N3English
1·3 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!
kronicmage@lemmy.cato
Gaming@beehaw.org•OK Boomer Shooter: How indie games breathed new life into a dying genreEnglish
2·3 years agoMaybe we should pull a Hacker News and start a culture of putting the year of articles in the title
A lot of these jokes are literally older than some of the people in my computer science program
kronicmage@lemmy.cato
AI Generated Images@sh.itjust.works•How Midjourney imagines the FediverseEnglish
41·3 years agoWow this is exactly like the stock images of the internet as a whole 20-30 years ago. Amazing how time is a circle, hope federated stuff doesn’t get enshittified in the same way the normal internet did












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