The right word ro NoSQL...

is Co-SQL (Eric Meijer just said it at Strange Loop)

дыбр

Ещё когда самолёт выруливал, в Кентуках начался дождик. Мои странные отношения с погодой... это как с Богом... не хотелось бы выносить, но не могу не поблагодарить Природу за Погоду.

Самолёты нынче возят людей зигзагами, чтобы обеспечить наполнение; так что летел через Чикагскую Охару - прекрасный, прекрасный аэропорт! Оттуда летел на мелком самолётике, куда типичные местные с трудом влазят.

В Сент Луисе стал искать шатл до гостиницы, но оказалось, что у этого Хилтона нет никаких шатлов; ну тогда на андроиде открыл гугл-мапсы и стал смотреть что там с общественным транспортом. Идеально! Метро ходит. Всего 40 минут, и ты в центре; не надо напряхаться.

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

Когда ж метро уходило под землю, то подземные пейзажи выглядели хуже моих обычных метрополитеновских кошмаров. О, бррр...

Вышел наружу - дождя не было.

В даунтауне, конечно, всё гладенько и вылизано; зашел в этот Хилтон, записался на Strange Loop, пошел в ресторан лопать. Лопать действительно. Pork chop размером с 3-4 наших; толстенный кусок мяса, политый вареньем с ежевикой. Я попросил не давать мне ещё и картошки, и дали двойную пайку овощей, и то слава богу. Но я слопал всё, конечно, Вкусно ж! А, ещё. Попросил чаю - принесли айс ти. О ё. Америка.

Потом дали, наконец, номер; прелестный вид, 18-й этаж. За окном дождик (пошел после того, как я вписался); стал шукать интернеты - надо же, блин, десятка в день, да ещё и отключают время от времени, чтобы отдых мёдом не казался. Провайдер называется HHonors. Типа честь мне оказывают, предоставляя услугу интернета. Деревня, ё.

В 3 часа был workshop про jQuery; ну вот и пошёл туда; ох как я полюбил эту jQuery! Всё, теперь буду пользоваться. Прекрасное чувство языка (джаваскрипта), функциональный подход, минимальный код. Умные люди писали, а!

После этого что-то потянуло ужинать... пошел в ресторан, подсел к двум мужикам из Атланты, стали чесать языками про компьютерщину... и почему-то про языки. Оба оказались венгерского происхождения (но модьорул нинченек нем беселек). Ну и ещё встречаются знакомые скальщики, конечно, из Питера нашей Заливной.

Говорил ли я, что в перерывах работал над репортером для моего репликатора - чтоб видно вообще было, что он делает-то. А то, по-моему, менеджмент думает, что раз не видно, то и не существует в природе. Абстракция...

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

программное типа заявленьице

Тут одна умная собеседница отфрендила меня за то, что я написал про месяц драбадан, мол, это антиисламское высказывание.

Нет, я не хочу никого обижать; но если кого-то обижают, что я высказываюсь пренебрежительно или даже с насмешкой в адрес их суеверий, то извините. Во-первых, не обижайтесь пожалуйста; во-вторых, мнений своих я менять не собираюсь. Я не считаю верующих особо умными людьми, если что. Умными да, но не особо. Религия - признак недалёкого ума, или диагноз, типа дефект личности. Не будучи ни врачом ни психологом ни политиком ни этнографом, я как-то не планирую заморачиваться на эту тему.

Я атеист лет примерно с шести, и горжусь этим. Не исключаю, конечно, что вдруг уверую, стану ходить в какую-нибудь церковь - но это уже будет признак Альцхаймера, от которого никто не застрахован.

Так что если кого оскорбляет - будьте, хм, более терпимы. Мы, атеисты, терпим же, что большинство населения поражено этой формой идиотизма.

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

дошло до меня

Чтобы в транзакциях не возникали фантомные денежные суммы или не исчезали внезапно, надо применять linear logic.

(upd)
http://en.wikipedia.org/wiki/Linear_logic
http://math.ucr.edu/home/baez/rosetta.pdf

нервные ученые

Ну типа почему это ученые себя в агностики обычно записывают? И ответ - потому что связываться не хотят.

Я согласен, нервы надо поберечь, для достижений.

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

Чуют, что ли?

Однажды один мой приятель, кандидат технических наук, сказал мне, что у меня высокая квалификация, на уровне кандидата наук. А я в ответ заржал. Ну обидно ж людям, да?

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

дыбр

Длинный день был.

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

Конференция началась в 8:15; Алекс Миллер выступил с радостным сообщением, что нас тут собралось 910 человек и все мы рады. А я, кстати, разобрался с путаницей - Майк Миллер, бывший нетфликсовец - это не то. что Алекс Миллер; с Майком мы встретились на завтраке (но я, блин, его не узнал, аяяй). Ну ничего, мы, скальщики, народ добродушный.

Потом было выступление великолепного Эрика Мейера. Эрик начал с противопоставление сиквельных баз и несиквельных. Сиквельные базы, по идее, должны бы были быть фунцкиональными, но вот мы тут, ха, завели insert into и update table, и всё сломалось. Ещё и курсоры какой-то, хм, умник придумал. Главное, при денормализации у нас получается всё очень сложно. А nosql, наоборот, денормализации не подлежат, и там можно хранить объекты. Если кратко, то в сиквеле дети указывают на родителей, а ноусиквеле наоборот (что я уже который год пропагандирую... вы где видели, чтобы объекты знали, кто из них коллекции собирает?).

Но, конечно, двойственность эта - обычная категорная двойственность, и вполне выразима через лемму Ионеды.

вот тезисы

После этого я пошел попить кофе, но всё уже убрали блин (да... не Бей эрия...), и пошел в Старбакс в том же Хилтоне; меня спросили имя, я сказал "Хуан", негритяночки попросили проспелить, и я начал "H... sorry, J..." (о как мне нравятся чёрные женщины, о-о-о!...)

Выходя, заметил Эрика Мейера - он уже брал такси, чтобы упилить в аэропорт. Экая энергичная жизнь у человека.

Следующий был доклад Дэниела Спивака, про правильные контейнеры в Скале. Дэниел, он такой, рассказывает вприпрыжку. Начал с линклистов, объяснил, почему их распараллеливать сложно, если модифицируем, короче, плохое решение. Потом рассказал про banker's queue - ну обычная двойная буферизация; если списки ленивые, то можно добиться хорошей производительности.

Потом рассказал про FingerTree... хотите код? Вот он: http://github.com/djspiewak/extreme-cleverness

Потом вкрадце про red-black trees (ну сколько этого добра в загашнике у программиста...) а потом про bitmap vector trie (check it out).

Короче, есть у нас обычный массив, размером до 32. Если больше, строим дерево (32-ичное). 32 как раз хорошо ложиться на процессорный кеш. А сложность - O(log32(n)); при современных размерах памяти ну максимум 7 хопов, пока до данных доберёмся. Это как раз имплементировано в скальном классе Vector[T]. Самый писк.

Потом был перерыв, типа на обед; ну что там за обед... сэндвичи. Выбросил хлеб (как нехристь), съел оттуда сыр да мясо. Да полпеченюшки.

Следующий доклад - Рунар Бьярнссон, про scalaz, высшее достижение программирующего человечества.

К сожалению, Рунар немножко, извините, лоховат. Скалази окей, но Рунар мышей не ловит и фишку не рюхает. Хоть и ссылается на Эрика, но прямо противоречит заявлению Эрика, что во всяком языке сидит определённая монада. Нет, Рунар верит в абсолютную чистоту функций.

Он излагал как раз то, что недавно обсасывали на scala-lang, аппликативные функторы в-основном. Но объяснить публике разницу между функтором и аппликативным... да он, по-моему, не в курсе, что если pointed и аппликативный, то уже и функтор. А, бог с ним.

Следующий доклад - coffeescript. Конечно, немножко партизанский язык, но он прекрасен. Это рубщики собрались и выкинули из джаваскрипта всё лишнее. Но надо компилировать. Но язык прекрасен. Единственная проблема - это потеря this при карринге - но эта проблема и в джаваскрипте та же самая. В скале подставляют '_', чтоб this не терялась; речь-то о проекции на терминальный объект... короче, подъезжаем опять к вложению Ионеды.

Лозунг дня - BYOJ - Build Your Own JavaScript! (Смешно, но я пробовал, с фортом. Только форт никому на хер не нужен в этом мире.)

Дальше у меня была дилемма - или "простые монады" на кложе, или "транзакции без транзакций. Пошел на транзакции.
Люди из команды, что монгодиби делает; цитируют Грегора Хопе (Gregor Hohpe "Your Coffee Shot Doesn't Use Two-Phase Commit"); и, короче, нахер транзакции, нужны просто иметь какой-то план на случай неудачи. Вот об этом и рассказывали, как добиться реалистичного функционирования в реалистичной обстановке. Потому что не будет такого, что если Амазон меняет цену на Киндл, то он разошлёт всему миру сигнал, мол, всем стоять, у меня транзакция. Нет такого в нашем мире. А кстати, откуда оно вообще взялось?

Вот тут-то до меня и дошло, что вместо транзакций, для моделирования материальной целостности, нужна линейная логика. Валерия про неё, я надеюсь, будет рассказывать в конце сентября, в Гугле. А если Валерия не расскажет, так Майка попросим в следующий раз; зря, что ли, он Розетту Стоун писал?!

А кстати, неплохо бы и Грегора иной раз позвать; он, небось, тоже в этом понимает; он же в наших краях вроде бы живёт.

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

А в конце Зуссман стал как-то про монады так свысока, мол фигня, контейнеры, сохраняют состояние, ничего существенного.

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

Прошел вдоль парка. Лежит мемориальная доска, мол, это дерево дружбы посажено в честь нерушимой дружбы с городом Штутгартом, Западная Германия. Участники - Альфонсо Сервантес, Иван Паркер. Ну это ё, это городские госслужащие на халяву болтались по заграницам. Самое прикольное, что дерева-то НЕТУ! Спилили, сгнило, не знаю. Дерева Дружбы нету. Да и Западной Германии нету. А какая страна была! Демократы развалили. Или завалили.

Вернулся, зарядил телефон, пошел в ресторан попрограммировать немножко да языком почесать.

Но языком зацепился с Зусманом. Прямо в лифте. Спрашиваю его, мол, он когда про монады говорил, имел ли он в виду конкретное их понимание в языках типа лиспа (извините, я старался скрыть своё отношение к бестиповым лямбдам), или монады вообще, в категорном смысле.

Вообще. Зуссман, странным образом, принял оборонительную стойку, сообщил мне, что у него математическое образование, и он имел в виду категорные монады, которые являются всего лишь декорациями, абстрагирующими понятия из программирования. Вот в этом духе покровительства молодому пытливому поколению он и распространялся, пока мы не разошлись, он на тривию, а я в ресторан, пить пино гриджио и лопать котлеты из крабов.

Дык.

Нет, теоретически-то я знаю разницу между учёным и учителем.

копипасты с лукоморья

"Извините меня, хорошего сэра! Что хотели бы Вы, пожалуйста, оставьте мой очаг, хорошего сэра! Хороший сэр, отпуск мой очаг, пожалуйста! Что Вы надеялись бы обнаружить около моего местожительства, хорошего сэра?! Разве Вы не были бы достаточно любезны, чтобы обратить внимание на мое присутствие? Почему Вы когда-либо хотели бы видеть меня, хорошего сэра? То, почему делают Вас, нашло, что это в ваших интересах причинило серьезный ущерб к двери моего дома, хорошего сэра?"

Это про интересную личность.

Ключевая фраза - "мент, запили дверь".