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
- 1 Post
- 13 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·2 years agoJust use parser combinators
kronicmage@lemmy.cato
Programmer Humor@programming.dev•it makes just as little sense to meEnglish
1·2 years agoGive gruvbox a shot! My absolute favourite color scheme. Here’s an example of it in action in my config: link
kronicmage@lemmy.cato
Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•r/Piracy is dead, we need to build a huge community here
4·2 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
Lemmy.World Announcements@lemmy.world•FYI sort by "Top Day" if you're tired of seeing the same top posts from 2-3 days agoEnglish
2·3 years agoThe fix for the hot not updating bug
kronicmage@lemmy.cato
Lemmy.World Announcements@lemmy.world•Reddit CEO slams protesters, says he'll change site rules
1·3 years agoDo you know if there’s a switch hacks community in the threadiverse?
kronicmage@lemmy.cato
Lemmy.World Announcements@lemmy.world•FYI sort by "Top Day" if you're tired of seeing the same top posts from 2-3 days agoEnglish
2·3 years agoCan’t wait for Lemmy 0.18!
kronicmage@lemmy.caOPto
Chat@beehaw.org•Lemmy/kbin really feels like it's coming togetherEnglish
4·3 years agoThe main mastodon instance got defederated by many other instances in the early days, but when they added more mod tools they were welcomed back in and they’re going strong to this day. Here’s hoping
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
kronicmage@lemmy.cato
Lemmy.World Announcements@lemmy.world•I'm not here because Lemmy is a better alternative
0·3 years agoThe year of the fediverse can’t come soon enough
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