Type-level программирование в TypeScript: практические кейсы и обзор возможностей +12
Публикации с тегом типобезопасность
Обобщенные фабрики тайпгардов в TypeScript
Cardoteka — техническая начинка и аналитика решений типобезопасной SP [кто любит вдаваться]
Typescript: принцип подстановки функций +3
У меня возникают сложности с продуктивной работой на Python +12
Фантомные типы в Swift +6
Типобезопасность в JavaScript: Flow и TypeScript +12
Микроядро seL4. Формальная верификация программ в реальном мире +43
CSS для Swift: использование стилей для любых подклассов UIView +7
