![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
вот он, спамер
Oct. 5th, 2009 07:51 am![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif){kind=small}
fomenko_ev - у этого мудака (полуробота) в друзьях все эти клоны, что последнее время портят нам жизнь.Oct. 5th, 2009
fomenko_ev - у этого мудака (полуробота) в друзьях все эти клоны, что последнее время портят нам жизнь.
Греция, 22 августа
Oct. 5th, 2009 12:28 pmТак как последний день, то встали рано; ещё было прохладно и почти сумерки (солнце пряталось за высокими горами), но мы героически смотались на пляж. Итальянские туристы вповалку спят у дороги, в спальниках. На пляже никого, так что можно было скупнуться голышом. Вода тёплая.
( Read more... )
( Read more... )
Looking into certain issues...
Oct. 5th, 2009 07:19 pmNamely, how come Kleisly category for Maybe over Haskell is not very good category, thought about cardinality, negative and complex. Turned out these issues are already covered.
negative
complex
this, too
oh, whatever
What I was trying to figure out, is it true that Set is actually a regular exponential, and its derivative is Set itself? Probably so.
See, I was enticed by the idea of doing derivatives of algebraic types, and how to expand it to other functors. Seems like Set is doable. It is exp().
Now let's do some trigonometry, eh. And some Fourier transforms over databases (and the internets). If you know what I mean.
negative
complex
this, too
oh, whatever
What I was trying to figure out, is it true that Set is actually a regular exponential, and its derivative is Set itself? Probably so.
See, I was enticed by the idea of doing derivatives of algebraic types, and how to expand it to other functors. Seems like Set is doable. It is exp().
Now let's do some trigonometry, eh. And some Fourier transforms over databases (and the internets). If you know what I mean.