juan_gandhi: (Default)
Эта пресловутая сестра этой пресловутой архитекторки из Гомельского заочного университета у себя в блоге учит: "Спарк быстрее, чем мап-редьюс".

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

В принципе, я даже примерно понимаю, какое утверждение она перемолола в этот бред. Но зато сразу же видно, что человек ни в спарке не разбирается, ни в том, что вообще за мап-редьюс такой. И что конкретно такое мап, и что конкретно такое редьюс.

Нет, конечно, понятно, человек, знакомый с науками, нервно реагирует на название "tensor flow", потому что там ни тензоров никаких, ни тензорного потока. Это как релятивистский квантовый джаваскрипт. Но данный случай другой.

P.S. Все гораздо хуже. Повторил сейчас эту фразу одному из продвинутых коллег. Он ответил - конечно! И стал объяснять, почему именно. Я его спросил, а что ж такое мап-редьюс. И он понес стандартную хуйню, которую несут те, кто не понимает. Про трансформацию, сортировку, reshuffling. 

Короче, все плохо на этом свете.
juan_gandhi: (Default)
"В своё время Питер Нортон сказал, что в СССР была очень сильная математика, поэтому нас ждут очень хорошие успехи в области программирования.

Но если оглядеться, то российских программных продуктов на мировом рынке очень немного. А те, которые вынужденно становятся массовыми (как 1с), восторга не вызывают.

Так в чем здесь проблема? Уровень математики всё же оказался недостаточно высоким?"
 

Т.к. я не знаю ответа, могу только языком почесать, то приглашаю желающих. Особенно Дениса, конечно.
juan_gandhi: (VP)
Среди программистов особенно популярна идея ненавидеть монады. Почему-то именно монады. Стрелки никто не ненавидит, потому что никто не в состоянии даже вообразить их (как квадратный трехчлен). А вот монады - пожалуйста.

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

Возможно, дело в слове "функтор". Никто еще не выступал с критикой функторов. Мол, вы, функциональщики, может, и молодцы, но категория функторов не является локально малой. Или, скажем, раз в хаскеле ковариантности нету (да и в джаве ее маловато), то функторы в энтерпрайзе не нужны. Нет, ничо, терпят.

Хотя даже поклонники монад начинают частенько плеваться и ругаться, если им скажешь про сопряженные функторы. И еще что интересно, вот монада; к ней прилагается категория Клейсли; ее любят. А категорию Эйленберга-Мура не любят, и даже над теми, кто ее регулярно но бессознательно использует (username = if (database.get("username") == null) "" else database.get("username")), смеются как над лохами. Хотя эти две категории - просто два крайних объекта в одной душевной категории, образованной этой монадой.

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

Но где-то должна быть такая граница, что до нее они не боятся, а после уже боятся.

Или, может, свободная монада как раз будет этакой тайной тропой через границу, отличающую познаваемое от непознаваемого? Хз.

Комонаду же точно почти все боятся. Хотя (открою секрет) у каждой монады есть своя комонада (и у каждой комонады - своя монада).

Тот же Reader паттерн monad - в большинстве текстов про него я вижу не монаду, а комонаду. Традиция, претендующая на звание культурной, что ж.
juan_gandhi: (VP)
К Павловой присоединился Васька. Этот Васька пока что скромен по самое немогу; ходит как римская пехота на параде, шаг назад два шага вперед; на кискис оборачивается, но не подходит. Сегодня вечером еще какое-то чучело, кроме этих двух, стоявших в это время на заборе, вспорхнуло с патио, как только я вышел на призывный мявк Павловой.

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

Кстати о собрании. Оно оказалось по плану не в 10, а в 10:30. Реализм. Но блин, никого почти нету. Ну вот мы троица, Раду, Харун, да я, грешный. И Динеш, наш центральный чего-то о. Динеш нам говорит, мол, ну подтягивайтесь в митинг рум. Ну мы трое подтянулись, сидим зеваем. Динеш приходит, говорит, а че не позвонили на этот номер, где там типа селекторное совещание.

Чувствовал себя персонажем из "Тройки". Перец что-то говорил по телефону, но неразборчиво. В порядке отдыха я написал на доске число пи сколько знал (до 950, там дальше то ли 488, то ли 448, забыл). Обсуждали с Харуном и Раду, сложно ли это, нерегулярные последовательности запоминать, или пофиг дым.

Вообще, у меня повышается стремность на тему абсурдности. Правда, все сущее абсурдно, в частности, и цифры в числе пи. Но блин.

Обедать ходили дружною толпою, пришел еще Марко, он, несмотря на имя, голландец.

Вообще сидел что-то долбил нескладное; Чаба приставал с ерундой, типа вот мой сервер возвращает код 500, мол, такого юзера нету.

Это сервер у себя в логе сам себе говорит, что такого юзера нету; а мне по хттп говорит: 500. И знаете, как он говорит это 500? В виде поля в джейсоне. responseCode: "500"

Попробовал провести небольшой ликбез на тему всякого там как интернет работает. Но...

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

Нет, еще поговорил с Рунаром, может быть, он у нас выступит на скалабее. В июле, может быть. Пытался додолбиться до Эдварда (Кмета), но с Эдвардом же знаете, разговаривать бесполезно; у него в голове своя мелодия звучит громче, так что э.

Завтра, наверное, на велике туда ж поеду, Рунара слушать - "хаскель для скальщиков".

Заходите.

Кстати, на хаскельном мероприятии чуть не половина русских.

Так я что, кстати, хочу сказать. Когда речь идет о русских программистах - ведь равных пока что практически нет.

П.С. Только что дошло, фамилия Кацман, блин.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

June 2025

S M T W T F S
1 234567
891011121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 5th, 2025 02:56 pm
Powered by Dreamwidth Studios