Oct. 4th, 2015

juan_gandhi: (VP)
Месяц не катался, все шибко был занят, лекции, курсера, работа, ремонт; фигня, короче. В результате месяц ломал голову, как так "свободная монада" оказывается вообще монадой.

Вот сейчас поехал прошвырнулся, во все разобрался, напишу сегодня.

Вкратце: надо построить минимальный фикспойнт, через копредел. Через копредел все и доказывается; ассоциативность в том числе.

А на хаскеле и на скале столько всякого бреда понаписано, о-о-о!... вот напишу ужо, и буду критиковать ходить. Нельзя же так же.
juan_gandhi: (VP)
Должен быть Иисус Христос. Он же первый начал.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

November 2025

S M T W T F S
       1
23456 7 8
9 1011 12 1314 15
16171819 20 2122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Nov. 21st, 2025 01:17 pm
Powered by Dreamwidth Studios