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
- 2 Posts
- 9 Comments
Joined 3 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.
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
smbc robot comics, true classic genre
A lot of these jokes are literally older than some of the people in my computer science program
kronicmage@lemmy.cato
Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•r/Piracy is dead, we need to build a huge community here
4·3 years agoWow haven’t heard those names in ages
kronicmage@lemmy.cato
Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•How to find dubs of moviesEnglish
41·3 years agoYou could always get a 4k video from one source and a dubbed video from the other and remux it yourself. Audio quality won’t be as high probably but at least you’ll get good video
kronicmage@lemmy.cato
Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•How to find dubs of moviesEnglish
61·3 years agoYou’d probably have much better success searching the internet in that language instead of English. My in-laws use a lot of Chinese sources to source their Chinese sub/dubbed shows, but English sources don’t really offer that in my opinion
kronicmage@lemmy.cato
Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•Almost 5K Pirates migrated to lemmy. We're now 4th in lemmy communities browser!
1·3 years agoFederation is absolutely amazing. So many communities can come together here



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