Podlodka #97 – Системы типов

На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во многих случаях это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности кода за счет типов еще на этапе компиляции? Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором typeable.io и продакшен-хаскеллистом с большим стажем. Поддержи лучший подкаст про мобильную разработку: patreon.com/podlodka Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!
 Telegram-чат: t.me/podlodka Telegram-канал: t.me/podlodkanews Страница в Facebook: facebook.com/podlodkacast/ Twitter-аккаунт: twitter.com/PodlodkaPodcast Полезные ссылки: – Книга Types And Programming Languages cis.upenn.edu/~bcpierce/tapl/ – Книга Advanced Topics in Types and Programming Languages amazon.com/Advanced-Topics-Types-Programming-Languages/dp/0262162288 – Книга Learn You a Haskell for Great Good learnyouahaskell.com – Документация по языку Rust doc.rust-lang.org/book/ – Доказательство теоремы о четырех красках ams.org/notices/200811/tx081101382p.pdf – Доклад «Is a type a lifebuoy or a lamp" skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp