Типы: война строгих с мягкими... и зачем?

Признайся, ты участвовал в войнах "сильно-..." против "слабо-...". Не важно на чьей стороне и не важно какой язык ты защищал/продвигал. Я бы хотел поговорить о типизации. Это слишком важная тема, чтобы ее игнорировать. Я хочу показать действительно важную составляющую для системы типов любого языка. Мы увидим немного математики, Javascript, Java, Scala, .Net, Haskel, расчлененку, содомию, немного monocerosophilia и может что-то еще на пути к правде. Мы потеряем немало друзей и попытаемся увидеть, что ждет Java ~40.0

Презентация

Видео