The Horrors of Type Composing

Comic<TypeTheory> 2. THE HORRORS OF TYPE COMPOSING string List<string> Dictionary<string, int> Dictionary<string, IList<Func<int, string, Tuple<IObservable<int>, string>>>>

A comic shows increasingly complex type definitions as progressively more monstrous humanoid creatures, ending with a horrifying multi-eyed beast representing deeply nested generic types. The joke is that composing types in a programming language can become visually and conceptually terrifying. EN: A comic shows increasingly complex type definitions as progressively more monstrous humanoid creatures, ending with a horrifying multi-eyed beast representing deeply nested generic types. The joke is that composing types in a programming language can become visually and conceptually terrifying.

• @profunctor_io / 2259 2019-05-27