Comments 7
Люблю хабр за статьи типа «как задрочить на собеседование» а название намекает на «нарушая запреты»
Вообще-то, подобный код — идеал к которому стремятся хаскеллисты. Почти любой туториал по GADT начинается с чего-нибудь типа «давайте сделаем списки, для которых `head empty` валился бы на этапе компиляции». Если повникать в алгебраическую систему типов, потихоньку начинаешь понимать такие штуки. Зачем обрабатывать исключения в рантайме, если можно сделать неверный код просто некомпилируемым?
Очень красивое решение. А теперь немного изменим условие задачи: доска будет переменного размера, который вводится пользователем...
Или говорить такое ведьме опасно для жизни?
Это просто великолепно! =D
Sign up to leave a comment.
Типизируя техническое интервью