Jul. 30th, 2012
warm fuzzy thing
Jul. 30th, 2012 05:33 pmSPJ сказал, что не надо было говорить программистам слово "монада", надо было говорить "warm fuzzy thing", шоб они не боялись.
Вот так вот функторы у программистов называются "параметрическим полиморфизмом" и "дженериками".
А представить на минутку, что не было бы этого эвфемизма. Тогда бы
А вообще, что, продолжать нести что-нибудь про комонады?
И ещё у меня, похоже, хорошая новость, похоже, что тикзы, наконец, удаётся пришить к пришиву.
Вот так вот функторы у программистов называются "параметрическим полиморфизмом" и "дженериками".
А представить на минутку, что не было бы этого эвфемизма. Тогда бы
def sum[A <: Number](coll: Collection[A]): A
назывался бы естественным преобразованием (функторов, заданных на подкатегории <:Number
, а def size[A](coll: Collection[A]): Int
- конусом.А вообще, что, продолжать нести что-нибудь про комонады?
И ещё у меня, похоже, хорошая новость, похоже, что тикзы, наконец, удаётся пришить к пришиву.
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
Хотя сами по себе соцсети находятся, по-моему, практически на плато нынче, но были ж схватки боевые.
Про Фесбук ничего не скажу, его песня далеко ещё не спета, и дай им всем бог здоровья, успехов и учетверения-упятерения стоимости акций; я же служил в команде оркута полтора года, ну и это.
Когда я пришел в оркут, лично г. Буюкоктен уже ничем таким не занимался (да и видел-то я его ну пару раз разве что); проектом заведовало начальство, были там какие-то тимлиды и техлиды (архитекторов в гугле не положено тогда было); главные же сигналы приходили не снизу от юзеров, а сверху - "Ларри велел побыстрее оборачиваться с реквестами", ну и т.д. А если у тебя какая-то идейка, так ты ж не Ларри, а Ларри занят. А пойти к Серджио или к Грегу обсуждать - ну это надо быть идиотом. Им же завидно. Ну ещё есть пиэм Амар Ганди; человек весёлый и доброжелательный - но слушать кого-либо, кроме себя любимого и вышестоящего начальства не имеющий никакого желания.
Короче, я, думая, что уж опыт эксплуатации жж меня чему-то да таки научил, совался, и везде получал отлупы. И код починять, чтоб он был тестируемым, тоже было некошерно; кошерно было бы схватить кусок проекта, типа а давайте мы вставим по тыще фотографий на клиента - это да; ну у меня другие вкусы.
Я боролся за асимметричность дружбы и за прайвеси. В те поры в фесбуке народу было чуть меньше, чем в оркуте, но догоняли. Точнее, шла гонка вооружений. Под гонку удалось и прайвеси впарить (наши пиэмы вообще не петрили, зачем она, прайвеси, и почему, если кто-то записал тебя в друзья, это ещё не значит, что ему нужно показывать уже фотографию себя в компрометирующей позе и компании.
Ну и хаки. Там был в Бразилии хакер под псевдонимом Ласерда; каждый его хак подхватывали по всей Бразилии и Индии. Хак, например, такой: "чтобы ускорить работу оркута на вашем компьютере, скопируйте эту строку в адресную строку браузера и нажмите там это". Дык, логины как с куста. Юарэлы вставлялись в посты, хотя мы их должны были чистить, по идее. Но когда я написал правильный регекс, чтобы юарэлы не проходили, понятно, что регекс этот был несколько посложнее предыдущего примитива, и занимал время - тут же пришли завистливые техлиды и выкинули его, типа перформенс страдает. Перформенс вообще в гугле заебись. четверть миллиона компьютеров, но десятка-другого нодов хрен допросишься. Каждую пятницу в обед (4 часа по бразильскому времени) начинали пищать эти старинные приборы, пейджеры. На мой вопрос, а нельзя ли на пятницу добавить процессорной силы, ведь знаем, что вся Бразилия собралась на свидания, мне отвечали - изя. Ну конечно изя; вот Ларри попросит, тогда зя.
Это было соревнование социалистической системы против капиталистической.
Через полтора года из гугловского кремля пришел приказ оркут разогнать - но я в тот момент уже сам разгонялся - правда, попал в ещё более интересную команду... да хрен с ними.
Зато ознакомился с бразильским языком; и бразильские инженера до сих пор у меня во френдах, и на линктине и на фесбуке. Тем более, Родриго вон и по-русски умеет, и с теорией категорий знаком.
Очень люблю бразильских людей.
В Индии, кстати, тоже очень продвинутая команда была; тоже у меня во френдах порядочно народу. А из маунтинвьюшных никого.
Да...
Однажды базу данных немножко разнесли. У каждого юзера был секретный айди (порядковый номер - Оркут первый, его подруга вторая; Мариса тоже в первой десятке) и публичный хеш. Ну вот этот хеш один инженер от большого ума превращал в unsigned long путём конъюнкции; немножко ошибся, и убивал не один бит, а два. Да и один было бы многовато. И в один прекрасный момент айди стали перекрываться. Ну и т.д. Неделю лечили; инженер сбежал в другую команду (опять же, ещё хуже).
И это в той же команде была забавная менеджерка Анн-Мей Чан, которая вела себя примерно как эта полуяпонка полукитайка из Килл Билла-1. Спросит бывало на 1-1, какие проблемы, а мне чо, у меня секретов нет; через неделю на следующем 1-1 она тебя же корит за те проблемы. По мне так дура-дурой, но в гугле она и до сих пор, небось, слывёт выдающейся руководительницей, лидершип и умище.