Type Theorists Discover Ownership
>read something about "substructural type theory" >get scared by the name >look inside >it's just ownership what's wrong with type theorists
A wide-eyed gray-and-white cat stares directly at the camera beneath a post joking about substructural type theory. The punchline is that an intimidating technical term turns out to involve the familiar programming concept of ownership, so the cat represents the confused reaction to type theorists making simple ideas sound frighteningly complex.
- @gentoomemes / 12469 2024-07-23
- Type
- image
- Size
- 630×800 · 59.6 KiB
- Mood
- confused, sarcastic
- Language
- en
- Added