jpoint JPoint 2016 (22.04.2016 — 23.04.2016)

Types: war of strict with soft …​ and why?

img

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