Сегодня частная космонавтика активно развивается и, в некоторых отраслях, постепенно начинает теснить национальные космические программы. Стартовые возможности частных космических компаний не могут сравниться с бюджетами государств, но все равно большинство космических компаний основаны людьми с миллиардными или миллионными состояниями. К…

Добрый день, уважаемые коллеги! Так получилось, что к моменту начала работы с Unity3D, у меня был четырехлетний опыт разработки на .NET. Три года из этих четырех я успешно применял dependency injection в нескольких крупных промышленных проектах. Этот опыт оказался для…

У многих рано или поздно возникает необходимость в обеспечении мультиязычности своих веб-приложений. Не будем сегодня прибегать к обзору всего разнообразия возможных решений, а остановимся на довольно узконаправленном сравнении обеспечения мультиязычности при помощи пакета Zend_Translate и библиотеки Gettext. Итак проведем мини-эксперимент,…

На хабре неоднократно упоминался Meteor (тут, тут и тут) — высокоуровневый JavaScript-фреймворк для быстрого создания одностраничных web-приложений. Сегодня вышла версия 0.6.5., основные изменения:

Привет, уважаемые хабражители! Многие в наше время интересуются безопасностью своих личных данных, а особенно переписки. И это не удивительно, учитывая скандал с АНБ и прочие факторы. Так же имеется определённая проблема с социальными сетями и облачными сервисами: нам больше ничего…

JavaScript уверенно продолжает своё шествие и теперь настал черёд железа. Tessel — это микроконтроллер прогроммируемый на JavaScript, судя по всему, ориентируемый на работу с интернетом — WiFi модуль в нём идёт по умолчанию. Пока, к сожалению, в продаже его нет,…

Titanium Cloud Service Titanium Cloud Service — является простым и удобным способом избежать создания сервера для работы с мобильным приложением, воспользовавшись уже готовыми решениями от Appcelerator. Cloud Service поддерживает использование Push Notifications, отправки почтовых сообщений, хранение большого объема фотографий и…

В части 2 мы закончили с определениями всех формальных терминов и символов, которые вы можете увидеть в вопросе на StackOverflow об алгоритме Хиндли-Милнера. Так что теперь мы готовы перевести, о чём же там спрашивается, а именно — правила вывода утверждений…

В части 1 мы говорили о том, какие строительные блоки нужны для формализации Хиндли-Милнера, а в этом посте мы конкретизируем их определения и сформулируем формализацию в целом:

Как-то мы сидели в баре с Джошем Лонгом и ещё несколькими друзьями с работы, когда он обнаружил, что я на «эй, ты!» с математикой. А он как раз недавно наткнулся на вот этот вопрос на StackOverflow и сейчас спросил меня,…