была точна с Nat? Думаю могу
с констрейнтами в смысле хаскельными? Или с какими-то другими типами просто с метаинфой?
ну например с теми, что есть в Liquid Haskell
тогда повторюсь, то же самое верно и для инта
но тогда это уже будет не инт, а инт с мета-инфой, которая говорит, что это Nat по своей сути и свойствам
Обсуждают сегодня