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

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

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

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

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

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

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

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

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

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

что мы знаем о лисе

Всемирная слава киоска на улице Кошица.

положено жилье

В российском менталитете прочно сидит идея, что кто-то, типа государство, общество, Путин, городские "власти", правительство должны таким-то и таким-то лицам предоставить жилье. Ну типа вот ветеранам ВМВ, ветеранам ВДВ, пенсионерам, многодетным матерям, такое все.

Меня это все больше удивляет. Разве жить негде в России? Пошел да снял.

Ха, но тут выясняется, что снимать-то дорого. Ну в смысле, пенсии не хватит, например.

Ну так не везде же дорого; почему-то мне кажется, что в Шенкурске снимать жилье не так уж дорого. Просто ни одна собака не хочет в Шенкурск-то. Что там делать, ни театров, ни музеев; зима почти полгода.

Жилье этим нуждающимся нужно по месту жительства, а не у черта на куличках.

Тут возникает диссонанс. По месту чего? Так они уже где-то живут, не в палатке у большака? Да, они живут. Просто им мало. Ну там комната маленкая.

Японцы, кстати, живут в маленьких комнатах. И ничо. Ну почти ничо. У них земли мало. Поэтому они требуют у России отдать обратно четыре маленьких островка. Тогда у них земли будет хватать.

Но что годится японцу, то не годится интеллегентному человеку, и не годится ветерану ВМВ, МВД, КВД.

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

Что любопытно, у нас тут в Калифорнии тоже бывают такие проблемы. Регулярно возникают лагеря бомжей, вдоль речек, вдоль дорог. Их нет в лесу, их нет в горах. Все эти лагеря в пределах пешей доступности светофоров, где можно встать с картонкой, сообщающей, мол, я ветеран войны, ищу работу, но пока не нашел, дайте денег. Ну и им же тоже нужно жилье. Причем то, что им предлагают, их не устраивает.

Проблема, конечно, поглубже. Вот учителя и врачи другие учителя. У них зарплата маленькая, тысяч 60 в год; где-нибудь в Охайо или в Теннеси они бы на эту зарплату купили бы двухэтаждый дом с бассейном и колоннами; здесь же (особенно в СФ) им не хватает даже, чтобы комнату в коммуналке на эти деньги снимать. Какие-то программы есть, дешевое жилье для низкооплачиваемых, и т.д. Но всем не хватает.

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

Если вы думаете, что вот тут опять расист разбушевался, радуется победе Германией над Сирией, то я добавлю. У меня нет ни мнения, ни решения. Я просто наблюдаю; но сочувствую не только тем, кто громче орет "дай". А то бы я нашу кошку уже перекормил, и она бы разжирела, и не смогла бы тогда на забор взобраться и удрать, когда еноты приходят, и ее бы еноты и сожрали, закусывая моими рыбами.

дыбр

Встали в полшестого; я пошел гонять двух наглых молодых енотов, которые не больно-то меня и боятся; они только боятся, если на них рычать, тогда убегают. А русского мата не боятся. Достали уже опять.

В 6 заявился Фред. и поехали в Гилрой, на винарню Сатори, убирать виноград.

Приехали слишком рано; но потом народ подтянулся. Попили кофейку - и в поле. Сначала два ряда мерло собрали, потом еще, уже становилось жарковато - ряд каберне.

С погодой повезло, жары практически не было; натянуло облаков, низовых с океана, да еще и верхние, так что ничо.

Языками чесали; была пара поляк с полячкой; ну с ними не особо; а вот один из местных (с винарни), с хвостом, Аквариус зовут; я ему тут же сообщил, что нынче его эра, но он, конечно, поправил, что на самом-то деле нет. Вообще, люди с хвостами друг друга обычно за своих держат. Мы как бы... ну как геи в толпе гетеросексуалов.

Потом он и еще один пацан выяснили, что они оба окончили Сантакларский университет; ну тут я опять влез со своей логикой; и мы понахваливали кампус, пообсуждали как и что... пацан этот лоховат; он, дескать, физик по образованию, но его физика примерно на уровне нашего техникума, ну или трех курсов ЛЭТИ, не знаю. Электротехник, короче. Исайя зовут; по английски это звучит "ай, зая".

А Аквариус раньше в напском районе работал, сюда, к Тому, переехал 7 лет назад. Вообще это какое-то хиппарское комьюнити; два мужика, некоторое количество теток; пацанчик лет 10, и с полдюжины собак, от мелких "Бадди" до ньюфика Bear.

Устали довольно сильно, между прочим, три-то ряда прочесать.

А из еды было что-то хреновато, какие-то хамбургеры некачественные. Ну и вино местное. Не скажу, что оно супер; но их мерло по вкусу - типичное каберне. А, еще сок мерло у них офигенный, да. Просто сок, с мякотью.

Когда сидели ели, еще завели разговор про колледж Гавилан, где подруга сейчас преподает (он тут рядом, милях в пяти); ну и там керамика всякая...

Ну и мы заехали в Гавилан, посмотрели. Там классно так все; не то что в Вест Вэлли, где кампус красивый, а керамический класс - дыра дырой, тесно, неудобно.

Домой приехали, помылись, и заснули тут же. Проснулся я уже хз когда, в пять, что ли; поели щей, да я за домашку принялся, по криптографии. Ну там в этой главе теория чисел, на примитивном уровне, так что фигня. Вот надо еще допзадачу сделать, дискретные логарифмы попрограммировать. Французский, дневную дозу, тоже уже вколол. И уже 10 вечера; пойду открою джейбилдер, попробую логарифмы.