D> Лучше покажи, что ты сделал красивого на C#, чего нам, убогим, не осилить на дельфи.
G> State monad :))
D> Ну так покажи ;)
G> Ну держи. (Код опущен.) Если разберешься — появится желание забить на делфи и пойти учить цацкель.
D> Зачем мне забивать на дельфи, если я на нём прекрасно зарабатываю себе и моей семье на хлеб, на масло и на отдохнуть. И из-за какого-то монада, переходить на что-то модное с уже отлаженного процесса совсем нет желания.
(via gandjustas)

Брайан Бэкмен из прошлого видео — крут как Чак Норрис! Не потому что носит шляпу, а потому что знает толк в монадах:

• Don't fear the Monads (1 202 Mb)
• The Zen of Stateless State — The State Monad (757 Mb + 443 Mb)

Я тоже в нём поучаствовал.

Краткая выжимка:

A> Use Leksah!
P> Learn Agda2!
i> Be rational!
π> Get real!

Ренегаты:

• John Hughes предпочитает Ырланг Цацкелю: http://www.infoq.com/interviews/Erlang-Haskell-John-Hughes
• Erik Meijer предпочитает До-диез Цацкелю: http://channel9.msdn.com/shows/Going+Deep/Lecture-Series-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-2/

P.S. Пойду и в самом деле поставлю Leksah на GHC, потому что с Hugs'ом у меня не заладилось.

Дуальность IEnumerable–IObservable, ко- и контравариантные тензоры, continuation monad — всё смешалось в этом видео. jtootf, чувак, кажется, я начал понимать, о чём ты толковал 10 месяцев назад в треде про CPS для GUI. Скоро я научусь такому кунг-фу на C#.

Erik Meijer теперь мой кумир. Как-нибудь напишу про его C9 Lectures on Haskell.

Upd 2009-11-18 00:14
Rx релизнулся: для .NET 3.5 SP1, для .NET 4 beta2 (via RSDN).

Assert.That(collection, Is.Not.Ordered);

Assert.That(I, Can.Haz.Cheezburger)

Господа, есть предложение поехать на Новый Год в Уллу-Тау или ещё куда-нибудь.

Update, 2009-10-22 00:40. Skype history

Update, 2009-10-22 02:14. Equipment

Краткий список экипировки я публиковал год назад. Сейчас я расскажу, где это всё можно купить.

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

<img alt="Formula" src="http://chart.apis.google.com/chart ?cht=tx &amp;chs=1x0 &amp;chf=bg,s,FFFFFF00 &amp;chco=000000 &amp;chl=p(x)%20%3D%20\frac{1}{\sigma\sqrt{2\pi}} \exp\left(-\frac{(x-\mu)^2}{2\sigma^2}\right)" />
http://en.wikipedia.org/wiki/68-95-99.7_rule
<img alt="Chart" src="http://chart.apis.google.com/chart ?cht=p3 &amp;chco=74A9CF,2B8CBE,045A8D,DDDDFF &amp;chd=t:2.3,13.6,34.1,50.0 &amp;chs=350x100 &amp;chl=[2σ,%20∞)|[σ,%202σ)|[0,%20σ)" />

Tips of the day:

• В браузере в контекстном меню картинки с формулой нажмите «Открыть картинку в новой вкладке» и поэкспериментируйте с адресной строкой.
• Вместо ручного формирования URL'а формулы удобно использовать новый редактор уравнений из Google Docs.
• URL'ы должны быть написаны слитно в одну строку. У меня они разорваны лишь из соображений пощады вашей френдленты.
• Знаки амперсанда «&» в URL'е должны заменяться сущностями «&amp;» при подстановке URL'а в атрибут src тега <img>.
• chco=RRGGBBAA,... — цвета.
• Для экранирования всяких хитрых символов используется «процентная» запись в кодировке UTF-8. Например, символ «∞» (U+221E: Infinity) кодируется как «%E2%88%9E».

По-моему скромному мнению, нижеприведённая схема биржевого мошенничества, весьма элегантная в своей простоте, является хорошей иллюстрацией к следующим вопросам:

• антропный принцип в физике;
• предсказания Ванги Нострадамусовны и майских ацтеков;
• систематические когнитивные ошибки типа неверной интуитивной оценки условных вероятностей;
• систематические статистические ошибки типа предвзятости выборки.

Подумайте над этим.

Реквестирую ещё красивых схем мошенничества, которые вам лично понравились (и которые не упоминаются в книжках «Как зовут вашего бога?» и «Американские боги»).

Тем, кому не хватает ФП’шных приблуд в BCL, могу порекомендовать Elevate — маленькую, но гордую библиотечку, с баккарой и куртизанками. В меню — утилиты для каррирования и частичного применения, кортежи, мемоизация, опционы, LINQ-расширения и сопоставление с образцом. Исходников там кот наплакал, но какой эффект! Теперь на C# можно писать как на Fortran F#:

// Найдём золотое сечение как неподвижную точку итерационного процесса x ↦ √(x + 1).

let rec F f x =    
  match f x with
  | a when a = x -> x
  | a -> F f a
...
let φ = F (fun x -> sqrt (1.0 + x)) 1.0

static double F(Func<double, double> f, double x)
{
  return f(x).Match()
    .With(a => a == x, _ => x)
    .Else(a => F(f, a))
    .EndMatch();
}
...
var φ = F(x => Math.Sqrt(1.0 + x), 1.0);

(via)

Upd 2009-09-14 15:51
На RSDN'е посоветовали посмотреть на functional-dotnet за авторством, если не ошибаюсь, alexey_rom. Которому в связи с этим мегареспект.

Коррекция наклона (skew correction)

Книжка Гонсалеса—Вудса, будучи твёрдой и тяжёлой, отлично подходит на роль орудия выравнивания рук незадачливого фотографа. Но, оказывается, есть и другой вариант её использования для решения проблемы, вынесенной в заглавие. Далее об этом речь и пойдёт.

Рассмотрим картинку, в которой есть почти незаметный крен.

( Чем это ты на работе занимаешься? )

P.S. Интересно, сколько сейчас платят за лом капчи? ; )

На прошлых выходных вчетвером гоняли на собаках в Краснодарский край, в Азовском море поплескаться. Море вполне оправдало надежды, вот только добираться туда муторно, в мои-то годы. Сама коса, будучи песчаной, широколиственным рощами похвастаться не может, посему палатки открыты всем ветрам. И их там порядком (и палаток, и ветров), плюс в окресности всякие базы отдыха расположены, да и вообще всё побережье — рассадник винд-сёрфинга и кайтинга.

<НеОффтопик>
Практически окончательно сконденсировалась мысль, что вот неплохо бы на доске с парусом покатаццо. Можно, конечно, и на доске с парашютом, но уж больно долго нужно задра оттачивать мастерство управления кайтом на берегу, прежде чем на воду выходить.

Мой коллега по работе советует ехать кататься не на Должанскую косу, а на Ейскую. Правда, привычным бомжово-палаточным способом там расположиться не получится, надо в цивильно-мажорскую базу вписываться. Плюс неплохо бы иметь машину, чтоб не заморачиваться с расписанием электричек и перемещением по локации. В общем, господа, не исключено, что этим летом однажды прозвучит призыв сорваться серфить, согласовав предварительно отпуска. С вашей стороны тоже жду встречных вариантов, наличие личного автотранспорта приветствуется :)
</НеОффтопик>

...В воскресенье вечером устремляемся обратно домой. Электричек со Староминской нет, есть проходящие поезда. На таковые нам не продают билеты, потому что у кое-кого нет при себе паспорта. Поезд вот-вот отходит, бежим к ближайшему вагону толковать с проводницей. Она нас в темпе затаскивает, говорит располагаться в первом купе. Тут мы впервые офигеваем, на условия повышенной комфортности мы не рассчитывали (а ехать там недолго, полтора-два часа). Но реальность оказалась более шокирующей — вагон оказался и вовсе СВ :) Впрочем, проводница наглеть не стала, содрала не больше, чем содрали бы в плацкартном вагоне.

Четыре помятые заблудшие души с откровенно отдохнувшим видом и пыльными рюкзаками не особо вписывались в контингент мажорского вагона. Нам бы сидеть ровно и не отсвечивать; я натурально трясся, чтоб не привести купе в некондиционный вид. Но исследовательский зуд не дал нам ничего не сломать :) Вскрытие утсановило Эмпирическим путём было показано, что синяя хрень за нашими спинами (см. пикрелейтед) вовсе даже не трансформируется в верхнюю полку, а держится вполне себе на соплях :) Короче, на нашей станции мы воспользовались занятостью проводницы пассажирами, и соскочили без палева.

В эти же выходные, вот буквально пару часов назад, благополучно зафейлили поездку на Самарское озеро. Но ничего, ещё съездим, ага?