о ненависти к монадам

топ 100 блогов ivan_gandhi14.09.2015 Среди программистов особенно популярна идея ненавидеть монады. Почему-то именно монады. Стрелки никто не ненавидит, потому что никто не в состоянии даже вообразить их (как квадратный трехчлен). А вот монады - пожалуйста.

К апликативным функторам тоже маловато претензий, хотя казалось бы. Ведь монада (по верованию хаскельщиков) - это апликативный функтор.

Возможно, дело в слове "функтор". Никто еще не выступал с критикой функторов. Мол, вы, функциональщики, может, и молодцы, но категория функторов не является локально малой. Или, скажем, раз в хаскеле ковариантности нету (да и в джаве ее маловато), то функторы в энтерпрайзе не нужны. Нет, ничо, терпят.

Хотя даже поклонники монад начинают частенько плеваться и ругаться, если им скажешь про сопряженные функторы. И еще что интересно, вот монада; к ней прилагается категория Клейсли; ее любят. А категорию Эйленберга-Мура не любят, и даже над теми, кто ее регулярно но бессознательно использует (username = if (database.get("username") == null) "" else database.get("username")), смеются как над лохами. Хотя эти две категории - просто два крайних объекта в одной душевной категории, образованной этой монадой.

Ну ладно, "простые программисты" (это для нас они простые) у себя в вузе на последнем курсе в Стэнфорде узнают, что функтор - это просто функция, которая беред функцию и возвращает функцию (интересно, что получится, если ее такую применить к самой себе, будет ли она по-прежнему брать функцию и возвращать функцию, или уже сломается?); в результате чего у них половина дизайн патернов превращается в какой-нибудь функтор, чем они и пугают робких выпускников Аризонского Госуниверситета (в Аризоне функторы не водятся).

Но где-то должна быть такая граница, что до нее они не боятся, а после уже боятся.

Или, может, свободная монада как раз будет этакой тайной тропой через границу, отличающую познаваемое от непознаваемого? Хз.

Комонаду же точно почти все боятся. Хотя (открою секрет) у каждой монады есть своя комонада (и у каждой комонады - своя монада).

Тот же Reader паттерн monad - в большинстве текстов про него я вижу не монаду, а комонаду. Традиция, претендующая на звание культурной, что ж.

Оставить комментарий

Архив записей в блогах:
Вчера пост написал , как в ближайшее время дорогих россиян в очередной раз " обувать"  будут. Вождь намедни с Наебуллиной встретился и все обсудил досконально. Пришла пора лохов стричь на просторах от Калининграда до Камчатки. Накопили, суки, аж 95, 5 миллиардов " зелени" Есть ...
Практически на каждой бутылке с напитками, содержащими алкоголь, указывается его процент: на водке, как правило, это 40% об., на пиве – 4-5% об. И если с процентами все понятно, то вот с надписью «об.» не все так просто. Точнее, людям это не кажется странным и все почему-то считают, ...
Более 120 нобелевских лауреатов (в том числе медиков и биологов) подписали письмо с призывом к Greenpeace, Организации Объединённых Наций и правительствам всего мира прекратить борьбу с генетически модифицированными организмами ...
22 марта Всемирный день воды.   Православный календарь День памяти 40 севастийских мучеников. В 313 году Святой Константин Великий уравнял в правах христиан и язычников. При следующем царе эти права были отвергнуты и снова ...
Появились новые подробности побега немецкой семьи Мартенс из России, о которой я недавно уже писал . Напомню: у немецкой семьи, являющейся религиозными консерваторами, однажды случился передоз РашиТудей. Оттуда они узнали, что Россия — страна победивших традиционных семейных ...