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

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

This joke is out of this world

smbc robot comics, true classic genre

A lot of these jokes are literally older than some of the people in my computer science program

… since it joins these users together like a karabiner, maybe we could use that as a name for this kind of thing… Maybe karbin or something?