Типизируя техническое интервью

[lnroma]

Люблю хабр за статьи типа «как задрочить на собеседование» а название намекает на «нарушая запреты»

[CrazyOpossum]

Вообще-то, подобный код — идеал к которому стремятся хаскеллисты. Почти любой туториал по GADT начинается с чего-нибудь типа «давайте сделаем списки, для которых `head empty` валился бы на этапе компиляции». Если повникать в алгебраическую систему типов, потихоньку начинаешь понимать такие штуки. Зачем обрабатывать исключения в рантайме, если можно сделать неверный код просто некомпилируемым?

[mayorovp]

Очень красивое решение. А теперь немного изменим условие задачи: доска будет переменного размера, который вводится пользователем...

Или говорить такое ведьме опасно для жизни?

[hengenvaarallinen]

Это просто великолепно! =D