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

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