Kita-Felder Josef-Strasse – креативный детский сад, построенный по проекту специалистов из немецкой архитектурной студии Hiendl Schineis Architekten в Аугсбурге (Германия).

Подробнее..

Dream Downtown Hotel - 12-этажный бутик-отель, расположенный в Челси (Нью-Йорк, США). Авторы проекта ультра-современного отеля мечты - специалисты из международной архитектурной студии Handel Architects.

Подробнее..

Введение

Если вы когда-нибудь интересовались не слишком популярными языками, то должно быть слышали о «Хиндли-Милнере». Этот алгоритм пользуются в F# и Haskell и OCaml, как и в их предшественнике ML. Некоторые исследователи даже пытаются использовать ХМ для оптимизации динамических языков вроде Ruby, JavaScript и Clojure.

И не смотря на его распространенность, до сих пор не было простого и понятного объяснения, что же это такое. Как же эта магия работает? Всегда ли выводимые типы будут верными? Или чем Хиндли-Милнер лучше, скажем, Java? И пока те, кто действительно знает что такое ХМ будут восстанавливаться от очередного умственного перенапряжения, мы попробуем разобраться в этом сами.