Хабр Курсы для всех
РЕКЛАМА
Большая витрина: от крупнейших школ до частных авторов. Сравнивайте по цене, длительности, формату и выбирайте самый подходящий курс!
Хабр доступен 24/7 благодаря поддержке друзей
Комментарии 7
Люблю хабр за статьи типа «как задрочить на собеседование» а название намекает на «нарушая запреты»
Вообще-то, подобный код — идеал к которому стремятся хаскеллисты. Почти любой туториал по GADT начинается с чего-нибудь типа «давайте сделаем списки, для которых `head empty` валился бы на этапе компиляции». Если повникать в алгебраическую систему типов, потихоньку начинаешь понимать такие штуки. Зачем обрабатывать исключения в рантайме, если можно сделать неверный код просто некомпилируемым?
Очень красивое решение. А теперь немного изменим условие задачи: доска будет переменного размера, который вводится пользователем...
Или говорить такое ведьме опасно для жизни?
Это просто великолепно! =D
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Типизируя техническое интервью