Потому что кому-то надо будет сесть и реализовать все 100500 экстеншенов

Всегда мысленно сокращаю это слово до "глист"

а у Юрия ник можно делить на два

уж очень двусмысленно )

Это же девиртуализация!
Мы теперь все знаем, кто он!

зигохистоморный препроморфизм это ha-ha, only serious. комбинация трёх рекурсивных схем, не особо полезная на практике, однако отдельно рекурсивные схемы могут быть вполне полезны. насколько помню, зигоморфизм выражает полупараллельную(?) рекурсию, где одна функция a -> b -> b выражает изменение состояния, а вторая a -> b -> c -> c это состояние использует, хистоморфизм даёт доступ ко всем предыдущим результатам, а препроморфизм на каждом шаге рекурсии применяет преобразование ко всей стрктуре

зигоморфизм это параморфизм с дополнительной алгебров
хистоморфизм это катаморфизм который хранит все результаты веток проходок
препроморфизм это катаморфизм с дополнительным естественным преобразованием

> зигоморфизм это параморфизм с дополнительной алгебров
тогда надо рассказывать, что такое параморфизм. ещё это порезанный мутуморфизм

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

А он существует?

в плане?

Кошмар математика - изучить пустое множество.

а вот эти вот ваши слова

они мне веб-сервер на хаскеле запилить помогут, например?

прагматичность в хаскель сообществе детектед

для вебсервера придётся вебморфизм собирать

Если шаришь - помогут, если нет, то нет. Так, в общем, со всем.

а как помогут, если шарить буду?

Внимание! Наивный вопрос! Те, кто кроме хаскель практикуют OCaml - какими соображениями руководствуются? OCaml вообще нужен?

нет