дыбр

[juan_gandhi]

 От дома в Барселоне до дома в Сан Хосе ушло 24 часа.

Вышли в 5 утра; больше часу на метро ехать (хотя всего 20 км с небольшим); самолет в 7 с копейками, но в самолете нам сказали, что в Лондоне туман и в Хитрово компьютеры глючат, поэтому ждали на поле два часа (нас тут прямо и покормили, не дожидаясь взлета - Бритиш же).

В Хитрово от терминала 3 до терминала 5 гейты А ехать с двумя пересадками и с проходом секьюрити. Но это британская секьюрити, эффективная, быстрая, без дури. Пообедали в Хитрово в кафе <strike>Элефант</strike> Жираф, где жирафы нам принесли пива и всякого вкусного. Fish and chips, например - рыба целиком. Жирафы в смысле что там официантки, по большей части, длинные и очень тощие. Некоторые из них разговаривают по-русски друг с другом.

Самолет в три, так что еще посидели (нашли розетки), я что-то типа поработал даже.

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

В аэробусе нам тут же выдали алкоголь (Бритиш же); ну и полетели. Потом еще кормили (три раза), и почему-то у них осталось много 

лишних йоркширских пудингов, и их раздавали с собой; наша соседка, бабулька из Сан Франциско, набрала целую сумку, у нее завтра парти дома.

Я обнаружил розетку у кресла, так что вообще отлично. Розетка как раз на американскую вилку.

Смотрел фильмы при этом.
- Борна какого-то очередного. Как обычно, в начале показывают компьютеры, а в конце драка с удушением руками. На компьютерах разная смешная хрень. "DUBNA 48K", например. Или "Use SQL to destroy their databases". Конечно, второе - довольно популярное занятие, но обычно это не вербализуют.
- Suicide Squad - смешной боевичок про различных хрестоматийных злодеев, которых послали бороться с неземными пришельцами. Там самой злодейкой оказалась бюрократка, негритянка. А эти все такие лапушки.
- еще какой-то неведомый фильм с Николь Кидман, с Хью Джакманом ("Wolverine"), c Кристофером Волкеном. Играют прекрасно, смысла никакого (или очень глубокий, я не понял). Брат с сестрой (обеим почти по 30) ищут пропавших родителей. Ищут больше силой ума.

Прилетели в 6 вечера; ну там эта морока со всеми прохождениями (4 этапа, что ли, пока в Америку выпустят).

Фред нас встретил, и вот, и вот в 8 мы дома. Тут холодрынь; кошка мяучит (и вроде не голодная, а просто очень рада, держал ее на коленках, гладил, она так в клубочек свернулась.

Comments

[deniok]

Хе, посмотрел бы я, как объявить равными пару (a,a) и функцию Bool -> a.

[juan_gandhi]

Хорошая тема. В джаве (и скале) запросто.

[deniok]

Типа метода equals что ли? В любом случае это будут рюшечки над изоморфизмом, задаваемым парой функций

from :: (a,a) -> (Bool -> a)
from (x,y) = \case {True -> x; False -> y}

to :: (Bool -> a) -> (a,a)
to f = (f True, f False)

[mikkim08]

А где лучше, в Мадриде или Барселоне ?

Сам-то я практически не был в Испании. Только в Сан Себастиане, но это, наверное, не считается.

В Мадриде музеи поинтереснее, и метро удобное. Зато в Барселоне море.

[juan_gandhi]

Да просто разные вещи. Мадрид - как Москва; народ такой прилично одетый весь; и много больших музеев. Барселона - как Питер; народ поразгильдяистее, в джинсах и кроссовках; музеи поменьше. Столица марихуаны. В клуб записаться 20 евро. Так что на любителя.

Thanks, -Vlad

[zuka]

С возвращением! :)

[juan_gandhi]

Ага. Адаптируемся...

[sinta555]

А что за фильм-то? У Джекмана и Кидмен совместный только Australia, но так не играет Walken

[juan_gandhi]

https://en.wikipedia.org/wiki/The_Family_Fang_(film)