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