shen

1зной

2ответ

Можно ли делать зависимые типы в Shen?

Мы видим преимущество зависимых типов in a paper written by Ana Bove and Peter Dybjer: зависимых типов типов, которые зависят от элементов других типов. Примером может служить тип An векторов длины n

types lisp dependent-type shen 2015-02-02

---