One Type for All vs Custom Types

1 type for all Ability to define own types

Two colored buttons are labeled “1 type for all” and “Ability to define own types,” above an image of a gloved hand sorting through a huge pile of red capsules. The joke contrasts restrictive type systems with the overwhelming complexity of defining custom types, using the absurd pile of capsules as a visual metaphor for many types. Commonly sent as a reaction to debates about programming languages, type systems, or overengineering. EN: Two colored buttons are labeled “1 type for all” and “Ability to define own types,” above an image of a gloved hand sorting through a huge pile of red capsules. The joke contrasts restrictive type systems with the overwhelming complexity of defining custom types, using the absurd pile of capsules as a visual metaphor for many types. Commonly sent as a reaction to debates about programming languages, type systems, or overengineering.

• @profunctor_io / 2885 2019-08-22