Oct. 4th, 2015

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

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

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

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

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78910111213
14151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 8th, 2025 12:45 pm
Powered by Dreamwidth Studios