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
- 13 Posts
- 47 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 maintainableEnglish41·2 years agoJust use parser combinators
kronicmage@lemmy.cato Fediverse@lemmy.world•Does it feel like the fediverse is exclusively used by older tech nerds?English2·2 years ago23 year old Nix user…
kronicmage@lemmy.cato FoodPorn@lemmy.world•[Homemade] Ooni-fired - Pepperoni, Pepper Pizza, and BBQ air-fryed Chicken wingsEnglish4·2 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?3·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
What a beauty
This joke is out of this world
kronicmage@lemmy.cato Videos@lemmy.world•Tom Scott’s channel will stop six months from nowEnglish41·2 years agoEnd of an era
smbc robot comics, true classic genre
kronicmage@lemmy.cato Technology@lemmy.ml•JP Morgan accidentally deletes 47 million comms recordsEnglish31·2 years agoWhat a coincidence
kronicmage@lemmy.cato News@kbin.social•"Debris field" found near Titanic in search for missing sub, U.S. Coast Guard says2·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
kronicmage@lemmy.caOPto Japanese Language@sopuli.xyz•My experience travelling Japan with a barely passed N3English0·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!
kronicmage@lemmy.cato Gaming@beehaw.org•OK Boomer Shooter: How indie games breathed new life into a dying genreEnglish3·2 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 AnarchyChess@sopuli.xyz•Top comment decides next move, legal or not | day 7: Black queen has girl's parts and blue, green and red queens join the board2·2 years agoWhite rook collapses in earthquake
It’s so much more expressive and looks like it has so much more creative energy than the New smb series. Excited to play this
kronicmage@lemmy.caOPto Japanese Language@sopuli.xyz•My experience travelling Japan with a barely passed N3English1·2 years agoTips: check tabelog (Japanese yelp) for restaurant recs. They’re real harsh on reviews there – if a restaurant is rated above 3.5 you know you’re in for a good meal, and finding one above 4 is very rare. Many of the “best meals of my life” I talked about were from restaurants rated about 3.8 or so on tabelog (the 4+ ones were too expensive or too hard to book).
If you know some Japanese, calling restaurants to reserve will sometimes let you eat somewhere that you wouldn’t have been able to otherwise. Many restaurants in Japan are very small and/or reservation only without an online option, so being able to reserve in Japanese is a huge advantage. I used Skype to get a Japanese number to reserve with
In terms of Japanese language, like the other guy said prioritize your katakana reading ability. It’s by far the most useful bang for buck you could get in terms of language ability.
I did a lot of research before I went so there wasn’t much that we didn’t expect, but one big thing was how gruelling the jet lag is after the 13 hour flight. We definitely didn’t schedule enough restful days upon landing, and next time we’ll be sure to take it easy when we first arrive. Best of luck planning your trip!
kronicmage@lemmy.caOPto Japanese Language@sopuli.xyz•My experience travelling Japan with a barely passed N3English0·2 years agoAn absolute blast! So much good food there. We essentially planned our trip around the food and restaurants we would try and said “this is the best meal of our lives” on quite a handful of different meals lol. 10/10 would recommend
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