что это случилось-то?

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

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

Что это? Химическое оружие, применённое партизанами Сирии? Возвращение Мубарака? "Всего" 35 лет Мэннингу? Куда вообще смотрит цензура?

ну вот, Строуструп

Вчера в кинотеатре посёлка Пало Альто ("Большое Палко") была встреча избирателей энтузиастов с Бьярне Строуструпом, профессором из Техаса. Бьярне известен тем, что придумал язык си++, за что ему, конечно, мир благодарен.

Я там озирался затравленно, ни одной знакомой рожи. Ну ладно, Джон Калб. Ну в смысле и сильно потолстевший Степанов, конечно; но я имею в виду взаимно знакомых.

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

Вообще-то речь шла о С++11, и он показывал новые фичи, лямбды и что-то вроде имплиситов, можно прям написать 11hours+20minutes+40seconds и оно поймёт. Почти как на скале. Только у си своя магия (и меньше мусора). Довольно славно фьючерсы можно использовать - но можно прямо из лямбды менять полуглобальную переменную - если вам "так удобнее" (в смысле, если вы ничему не учились, или учились, но ничему не научились).

У меня разрядился лаптоп, и я сидел развесив уши. Радовался за прогресс си, и недоумевал, хм, лямбды есть, тайпклассы есть (почти), а где монады? Или потому что тайпклассов нет, так и функторы с монадами рано вводить?

В конце лекции я и спросил его, а что, вот у вас уже и лямбды и концепты, уже, может быть, пора вводить монады и cps, тем более, что лямбды-то уже есть. И тут Бьярне, не особо зацепившись за концепты (которые, говорят, не включены в стандарт), сообщил, что фп все лузеры, и "мы не знаем, почему фп провалилось"; тут же добавил, что на самом деле сишный народ не поймёт. Знакомые речи, Джош Блок тоже говорил, что джавщик не способен понять лямбды, поэтому лямбды не нать. Не треба. Музыка должна быть напевной (это товарищ Жданов говорил гражданину Шостаковичу и господину Прокофьеву).

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

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

Ну и тем более Джон Бруер и Стив Ганц тут же вертелись, и мы стали чесать языками про аппликативные функторы, потом пошли со Стивеном в Титайм пить Russian Caravan и вкушать cheese platter (пока мой компьютер заряжается).

Но главное я вынес. Вся эта дурь с delete[], buffer overflow, memory leaks, она вызвана тем, что монадические действия выполняются как будто у нас тут чистые функции. Вместо >>= употребляют ;

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


Он использовал ресурсы вне монадного контекста.

а синуса график волна за волной по оси абсцисс убывает

Soviet Union Population
Based on the data of the UN Statistics Division
src

некоторое разочарование, что ли

Цукерберг собирается снабдить тёмные массы населения планеты тёмной энергией интернета.
Ну посмотрим.

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

Так и другие явления природы. Нужно или долбить каждый день, как японский язык или HoTT или Лунную Сонату, или никогда.

И со стороны не поможешь, если человек не прилагает серьёзных усилий. Можно только фильтровать. Искать и фильтровать.

Так-то у нас есть люди. Валерия в паре миль отсюда; Дэн в пяти милях. Примерно так.

И, соответственно, про себя надеяться, что вот пойдёшь на митап и тебя там научат применять квадратичные формы и кубические кривые к вычислению типов - это вряд ли.

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

половое воспитание для работы в американском госучреждении

Я тут подвергаюсь половому воспитанию; вот картинка:



Микеланджело вне закона. Как книга "Гулаг" в Гуантанамо.

Upd. Это ещё что! Теперь и матом ругаться запрещают... может быть.

вести из страны чудес

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

Besieged Fortress

Сегодня, сдерживая дыхание, смотрели этот фильм про войну.

Войну между термитами и муравьями.

Подруга была за термитов, потому что они хозяйственные, а я за муравьёв, потому что в реале Павлова охраняет наш дом от мышей, а муравьи от термитов. В конце, после битвы под Москвой, когда распутица и осенние дожди, и 28 панфиловцев, и муравьи отступают, тащат с собой обратно Гитлера; Гитлер в конце концов стреляется дохнет, но аналитики объясняют всё погодными обстоятельствами.

Живо напомнило Das Boot, который я смотрел весь прошлый год, пока не проникся органической ненавистью к фашизму и ко всему фашистскому, даже если у одного из них миленькая беременная жена в Ля Рошели.

Эх, как почти всё грустно на этом свете. Кроме того, что смешно.