ATS и зависимые типы

[thedeemon]

For you, when one sees emptiness
In terms of the meaning of dependent origination,
Then being devoid of intrinsic existence and
Possessing valid functions do not contradict.

-- Дже Цонкапа, "Сборник цитат для привлечения внимания", Союзпечать, 1402 г. (src)
В нашем детском саду всякий слышал о зависимых типах, что они умеют параметризоваться не

Comments

[nivanych]

Очень хорошо.
Глядишь, всё больше людей будут приобщаться к прекрасному! ;-)