this post was submitted on 01 Nov 2023
107 points (95.0% liked)

Programmer Humor

19176 readers
1781 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
107
We did this to ourselves (lemmy.world)
submitted 10 months ago by mikidep@lemmy.world to c/programmer_humor@programming.dev
42 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] kronicmage@lemmy.ca 23 points 10 months ago (1 children)

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

[โ€“] spicyemu@programming.dev 3 points 10 months ago

That looks like something I've seen somewhere and didn't understand.