Типовой тетрис в программировании

Пустые struct ErrorCase1Type {}; буквально пустые. Добавляя их в варианты вы ничего не платите. только получаете удовольствие, от того что ваш type tetris скомпилировался, какие вы молодцы, все варианты статически разобрали и правильно разложили мне нравится термин type tetris. сам придумал или это из какого-то всратого стандарта? Это хаскелисты придумали javran.github.io/posts/2014-02-…

Скриншот обсуждения в соцсети о пустых типах и «type tetris» в языке программирования Haskell. Участники шутят, что добавление пустых вариантов приносит удовольствие, когда компилятор успешно разобрал все варианты и правильно разложил типы. Мем используют программисты как реакцию на странное, но приятное чувство от успешного прохождения сложной проверки типов. EN: A screenshot of a social media discussion about empty types and “type tetris” in the Haskell programming language. The participants joke that adding empty variants is satisfying when the compiler successfully analyzes every case and arranges the types correctly. People use this meme as a reaction to the strange but pleasant feeling of passing a difficult type-checking challenge.

• @ithueti / 12387 2024-04-05