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