🤷♂️ Вроде как и не делают
Ну хз, к чему тогда эти переодические пассажи про зависимые типы, верификацию ПО, теорию категорий, итд. Когда это имеет очень мало отношения к прикладной разработки ПО. Это какбе около академическая тема, когда типовая разработка - довольно ремесленная штука имхо.