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