Видео и подкасты для разработчиков
Podlodka #97: Системы типов
На первый взгляд может показаться, что типы в программировании – это просто и понятно. Во многих случаях это действительно так. Но что, если копнуть глубже? Можно ли добиться высокого уровня корректности и безопасности кода за счет типов еще на этапе компиляции?
Этот вопрос, а также многие другие, связанные с типами в программировании, мы обсудили с Денисом Редозубовым, техническим директором typeable.io и продакшен-хаскеллистом с большим стажем.
-
Новости4 недели назадВидео и подкасты о мобильной разработке 2026.32
-
Новости3 недели назадGoogle анонсировал Gemini 3.7 Flash всего через три недели после предыдущего релиза
-
Разработка4 недели назад14 лет в Android-разработке, но кажется, что мобильная разработка умирает. Реально ли перейти в серверную разработку на Kotlin?
-
Разработка2 недели назадAndroid Skills — что выпустил Google и почему большинство разработчиков используют навыки неправильно