Oct. 4th, 2015

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

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

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

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

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415 161718
1920 2122 232425
262728293031 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 23rd, 2025 02:15 pm
Powered by Dreamwidth Studios