Видео и подкасты для разработчиков
Podlodka #97: Системы типов
На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во многих случаях это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности кода за счет типов еще на этапе компиляции?
Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором typeable.io и продакшен-хаскеллистом с большим стажем.
Если вы нашли опечатку - выделите ее и нажмите Ctrl + Enter! Для связи с нами вы можете использовать info@apptractor.ru.
-
Новости4 недели назадВидео и подкасты о мобильной разработке 2026.13
-
Разработка4 недели назад10 ошибок, которые Android-разработчики до сих пор допускают при работе с Jetpack Compose
-
Разработка4 недели назадЯ купил самый дешёвый MacBook от Apple и попробовал заняться настоящей разработкой
-
Видео и подкасты для разработчиков3 недели назадЗачем нужны Vim и NeoVim в 2026 — Своя среда разработки вместо готовой IDE