(Untitled)

[jtootf]

значительная часть истории человечества сводится к попытке построения левого сопряжения к забывающему функтору из категории людей

Comments

[nivanych]

Спорно, но очень красиво ;-)
Забывающему куда, кстати?

[jtootf]

не знаю. туда, где нет ничего человеческого

[nivanych]

Или есть, но мало?
Иногда, в таких случаях, бывает удобно рассматривать цепочку сопряжённых, каждый из которых "забывает" только часть. Как например, в случае со свободными монадами.

[technobastard]

еще один поехавший при попытке изучить Haskell

[jtootf]

при чём здесь Haskell?

[technobastard]

логика была такая: "Забывающий функтор" -> функциональное программирование -> Хаскель

я не прав и Хаскель тут ни при чем, а ты просто любишь математику?

[jtootf]

в данном случае Haskell ни при чём. совершенно