Oct. 4th, 2015

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

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

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

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

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

August 2025

S M T W T F S
      12
3456789
10 11 12 13141516
17181920212223
24252627282930
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 17th, 2025 07:19 am
Powered by Dreamwidth Studios