История изменений
Исправление AndreyKl, (текущая версия) :
Вроде были. Они правда называютсяу них вроде бы path dependent или как то так, но на сколько я помню по итогу они изоморфны обычным зависимым типам, т. Е. Одинако мощные и все что выражается в одной, можно выразить во второй. Но подробностей за давностью лет не дам. А откуда таки дровишки что нет?
Обн. Прочитал ответы, пока вопросы отпали. Можно считать что «чуть-чуть есть, если очень надо». спасибо за поправку.
Исходная версия AndreyKl, :
Вроде были. Они правда называютсяу них вроде бы path dependent или как то так, но на сколько я помню по итогу они изоморфны обычным зависимым типам, т. Е. Одинако мощные и все что выражается в одной, можно выразить во второй. Но подробностей за давностью лет не дам. А откуда таки дровишки что нет?