Как типы делают сложные задачи простыми +59 01.01.2025 13:02 ru_vds 8 Программирование Совершенный код Управление продуктом Управление разработкой Блог компании RUVDS.com
Где мне это пригодится в жизни или применение Nothing в Kotlin на примере 23.04.2024 09:15 ivan_anikin 8 Компиляторы Kotlin
Система типов — лучший друг программиста +92 08.11.2022 08:07 PatientZero 76 Программирование Информационная безопасность Совершенный код
Дженерики в Go — подробности из блога разработчиков +9 29.03.2022 15:43 honyaki 5 Программирование Интерфейсы Go Изучение языков Блог компании SkillFactory
Имитируем функционал зависимых типов в системе типов Rust +42 06.06.2020 13:01 Cerberuser 24 Программирование Ненормальное программирование Rust
Открытые лекции для школьников и студентов про типизацию в языках программирования +9 20.05.2016 17:03 prijutme4ty 12 Я пиарюсь