1 ч. 27 мин.

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

    • Технологии

На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во многих случаях это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности кода за счет типов еще на этапе компиляции? Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором typeable.io и продакшен-хаскеллистом с большим стажем.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!

Telegram-чат: https://t.me/podlodka
Telegram-канал: https://t.me/podlodkanews
Страница в Facebook: www.facebook.com/podlodkacast/
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast

Полезные ссылки:
– Книга Types And Programming Languages
https://www.cis.upenn.edu/~bcpierce/tapl/
– Книга Advanced Topics in Types and Programming Languages
https://www.amazon.com/Advanced-Topics-Types-Programming-Languages/dp/0262162288
– Книга Learn You a Haskell for Great Good
http://learnyouahaskell.com
– Документация по языку Rust
https://doc.rust-lang.org/book/
– Доказательство теоремы о четырех красках
https://www.ams.org/notices/200811/tx081101382p.pdf
– Доклад «Is a type a lifebuoy or a lamp"
https://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp

На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во многих случаях это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности кода за счет типов еще на этапе компиляции? Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором typeable.io и продакшен-хаскеллистом с большим стажем.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!

Telegram-чат: https://t.me/podlodka
Telegram-канал: https://t.me/podlodkanews
Страница в Facebook: www.facebook.com/podlodkacast/
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast

Полезные ссылки:
– Книга Types And Programming Languages
https://www.cis.upenn.edu/~bcpierce/tapl/
– Книга Advanced Topics in Types and Programming Languages
https://www.amazon.com/Advanced-Topics-Types-Programming-Languages/dp/0262162288
– Книга Learn You a Haskell for Great Good
http://learnyouahaskell.com
– Документация по языку Rust
https://doc.rust-lang.org/book/
– Доказательство теоремы о четырех красках
https://www.ams.org/notices/200811/tx081101382p.pdf
– Доклад «Is a type a lifebuoy or a lamp"
https://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp

1 ч. 27 мин.

Топ подкастов в категории «Технологии»

Запуск завтра
libo/libo
Lex Fridman Podcast
Lex Fridman
Накликали беду
БОГЕМА
Podlodka Podcast
Егор Толстой, Стас Цыганов, Екатерина Петрова и Евгений Кателла
Плюс-минус игры
Кинопоиск
Люди и код
Skillbox Media Code