this post was submitted on 01 Nov 2023
113 points (91.2% liked)

Programmer Humor

19660 readers
465 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
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] [email protected] 26 points 1 year 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 3 points 1 year ago

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