Краткий экскурс в системы типов или как избежать дезинтеграции. Денис Редозубов

Современные программы невероятно сложны и гарантировать их корректность - задача не из простых. Системы типов - инструменты, помогающие программисту в этом. * Как сделать так, чтобы типы помогали разработчику? * Какие гарантии мы можем получить? * Почему языки и программисты разбились на несколько лагерей по отношению к этой теме? * Почему ФП на гребне волны в плане type programming? Также в докладе я рассмотрю спектр систем типов в языках функционального программирования от lisp/clojure до haskell/oca