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 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.
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
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 here4·2 years agoWow haven’t heard those names in ages
kronicmage@lemmy.cato Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•How to find dubs of moviesEnglish41·2 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 moviesEnglish61·2 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·2 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