Category: общество

Category was added automatically. Read all entries about "общество".

лямбда

Монады такие монады

Пару лет назад на RSDN я показывал VladD2 связь query monad из HaskellDB с LINQ. Тогда он называл это бредом. Прошёл год или около того и он сам стал связывать HaskellDB и LINQ. Правда, к монадам отношение у него не изменилось - это способ связывания вычислений в цепочку (почти дословно).

А сегодня IB под впечатлением от того, что LINQ - это монады.

Откуда эта истерика по отношению к монадам? Почему не возникает такого нездорового ажиотажа вокруг моноидов? Они же гораздо абстрактнее, чище и прикольнее :-)

Причём я почти уверен (насчёт VladD2 больше, насчёт IB меньше), что у обоих представление о монадах мало связано с тем, что это математическая модель. Для них это скорее некий паттерн. Место монады в математике не видно - так, приёмчик. Неудивительно, что VladD2 называет это извращением.

Что ли написать свой туториал по монадам? :-)
лямбда

Бананы, сорок лет одни бананы...

К чему я так подробно расписывал получение свёртки для розы? Очевидно, что интуитивно получить её можно сразу. Так я обычно и делаю, воспользовавшись методом размерностей, пардон, программированием "от типов". Возможно, так делаете и вы. Я хочу показать главный недостаток этого подхода - он неформален.

Collapse )

В данном конкретном случае нам очень сильно помогает Curry-Howard, но он не гарантирует уникальности доказательства (реализации), т.е. этот метод не формализуем. А вот на основе ТК, думаю, можно построить CataEval.
шапка джейн

почему я не хожу на выборы

Н. А. - Спасибо, понятно. А скажите, эта власть - демократична, как Вы оцените?

О. Д. - Куда уж демократичнее. Если, конечно, откинуть всякие сказки о демократии, якобы кто-то что-то решает, зайдя в кабинку для голосования. На самом деле кабинки существуют для того, чтобы население имело возможность туда заходить - торжественно, под звуки музыки. Это население должно надолго запоминать то, что они имели демократическую возможность поставить галочку в любом месте, где захотят. Это элемент стабилизации общественных процессов. Совершенно ясно, что экономика, крупный конкурентоспособный бизнес не могут пойти на такой великий риск - произвольное назначение менеджеров госаппарата, как бог на душу положит. Ни в одной западной стране нет такого произвола, а у нас на среднем уровне управления страной он некоторое время он был. Это сильно мешало власти и бизнесу. Теперь риск устранен, да и кадры отстоялись.

шапка джейн

Кавказская пленница

шапка джейн

сны

Часто, когда люди рассказывают о своих снах, можно услышать: и вот я от кого то убегаю, а ноги движутся медленно-медленно. Или: Тоннель. И я по нему от кого то убегаю.
Сколько раз слышал - все от кого то убегают. Очень много раз слышал.

Я не могу вспомнить снов, где я от кого то убегаю. Зато снов, где я кого то догоняю - полно.
Люди! Если вам снится, что вы от кого то убегаете - остановитесь и оглянитесь.
Может быть, это всего лишь я.
иа

еще один бородатый анекдот

Приходит на беседу к духовнику девушка - духовное чадо (длинная от пояса до пят юбка, скромная блуза и платок закрывающий все и вся). Обращается, опустив глаза вниз, к батюшке:
- Батюшкa! Выскажите свою концептуальную оценку по поводу последней монографии протоиерея Иоанна Мейендорфа, посвященной варлаамитско-паламитской полемике и написанной в эпоху окормления им русской диаспоры в Париже!
- Замуж, дура! Срочно замуж!!
иа

Детство

Вспоминаю вот.
Вот, что autonuke напомнил. Хочу такой NFS для своего сына. Мне, помню, нравился.
А вот еще чудесный сайт: http://www.76-82.ru/

Кто стучится в дверь моя, видишь, дома нет никто. Это я, жена пришел. Заходи по одному!

или вот

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

У девчонок в тетрадках были "анкеты" и стихи вроде этого:

Помни и не забывай формулу такую:
Сумма двух влюбленных губ равна поцелую.

А вот что мальчишки говорили девчонкам:

мадам Люлю,
я вас люблю!
тут девочки таяли.. и:
Но-но, я репетирую!

Остальное смотрите там, а я ушел в Союзпечать - говно качать, по три копейки получать :-)