*fprog

clayrat 18.04.2012 00:02

Charity — тотальный чистый функциональный язык, основанный на дистрибутивных категориях с арифметикой (т.е., примитивной рекурсией). В его основе алгебраические начальные типы: пары из функтора и суммы конструкторов, а также свертки-fold; и двойственные им конечные: {кофунктор, деструкторы} + развертка-unfold. ... more →

*fprog is used by:

Klayraat

clayrat