знаешь, какая цель?
Так-то Hask не является категорией только если мы говорим о категориях, определенных в классических теориях множеств/классов. Но можно её рассматривать как DCPO-enriched категорию или как internal-категорию в DCPO
Обсуждают сегодня