http://www.reddit.com/r/haskell/comments.....biks_cube/ — помогите уже человеку обобщить идею на кубики с n² квадратами на каждой стороне, а то я рехнусь скоро — у меня была идея, но я никак не могу довести её до ума (постоянно получаю <<loop>>).

Не знаю, под каким тегом спрашивать такие вопросы, так что поставил названия языков, пользователи которых могут знать ответ. Читаю про structural и nominal typing, возникла пара вопросов:   • в примерах структурной типизации[1] мы определяем функцию, которой от параметра нужен лишь метод set_x. Это разве не duck typing получается?   • правильно ли я понимаю, что nominal typing — это просто алиасы для типов (newtype в Haskell или typedef в C)?   1. https://en.wikipedia.org/wiki/Structural.....em#Example