История изменений
Исправление hateyoufeel, (текущая версия) :
Refinement types — это один из подходов. Можно, например, взять зависимые типы, которые тоже позволяют делать такие штуки. Но с первыми работать немножко проще чем со вторыми.
Исходная версия hateyoufeel, :
Refinement types — один один из подходов. Можно, например, взять зависимые типы, которые тоже позволяют делать такие штуки. Но с первыми работать немножко проще чем со вторыми.