Types Are a Lie

String -> String -> String -> String Types are a lie

A cyclist rides along a path, loses control, and crashes while the captions show a chain of String types followed by “Types are a lie.” The joke mocks misleading or overly complicated type declarations in programming, especially when type assumptions lead to unexpected behavior; it is shared as a reaction to type-system frustration or bugs.

• @profunctor_io / 211 2017-06-15