Видео и подкасты для разработчиков
Podlodka #97: Системы типов
На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во многих случаях это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности кода за счет типов еще на этапе компиляции?
Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором typeable.io и продакшен-хаскеллистом с большим стажем.
Если вы нашли опечатку - выделите ее и нажмите Ctrl + Enter! Для связи с нами вы можете использовать info@apptractor.ru.
-
Видео и подкасты для разработчиков4 недели назадКак копилот генерит код? Идем под капот
-
Новости4 недели назадВидео и подкасты о мобильной разработке 2026.17
-
Разработка4 недели назадTime Profiler в Xcode Instruments: повышение производительности с помощью ИИ
-
Кроссплатформенная разработка3 недели назадFlutter после увольнений: вот честная оценка, которую никто не хочет давать