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

Новый ocaml 4 вышел -> http://www.linux.org.ru/news/opensource/8035399 К сожалению, мультитредовости рантайма у них даже в планах нет.

Снова что ли камлом упороться?

LET BRAIN = FUCK IN LET SHIT = BRAIN FUCK IN LET DAMN = COCK SUCKING AND PEEING IN DA POOL;; извините, очень хотелось выплакаться