clayrat
18.04.2012 00:02
Charity — тотальный чистый функциональный язык, основанный на дистрибутивных категориях с арифметикой (т.е., примитивной рекурсией). В его основе алгебраические начальные типы: пары из функтора и суммы конструкторов, а также свертки-fold; и двойственные им конечные: {кофунктор, деструкторы} + развертка-unfold. Частным случаем un/fold являются case/record и map.
Конечные типы образуют так называемые коданные, через которые выражаются многие интересные структуры: бесконечные списки, состояния и объекты. Кроме того, именно коиндуктивный тип имеют функции: их first-class статус достигается протаскиванием параметра через деструкторы.
8 comments
recommend
bookmark
subscribe
:3 и вообще зачем эта вся хуйня нужна кроме как твое увлечение
я типа дисер пишу по вычислительной биологии
есть такая маза что
1. современная теория систем основана в том числе на геометрических понятиях Пуанкаре
2. биологические подсистемы описываются алгебрами процессов, а системы — объектами
поэтому весь этот замут с дистрибутивными категориями (к которым относятся и топологические пространства) и коданными хорошо ложится в концептуальную основу
проще говоря, мне за это фламандское правительство зарплату платит :D
кароче возможно ты какой-то умник
как ты пришел к такой жизни, что тебя еще интересует кроме этого или это и есть твоя жизнь?
я понял что ты пишешь в основном о том что делаешь, забавнота.
ну я как-то всегда интересовался кучей всего, но больше всего всякими широкомасштабными концепциями типа самоорганизации
работал программистом наджави и сишечке лет 5, но как-то поднадоел процесс
ну и из общего интереса к здоровью, еде, веществам пришел к биологии, в основном всякому моделированию и эволюционному развитию
интересует меня много всего
конечно основное время уходит на математику и биологию
но еще почитываю про историю, философию
а также я меломан и самоучка барабанщик
плюс всякие походы, путешествия, велики