Facebook представил проект нах!

не очень удачное для русскоязычного населения название

А потом они оболочку к этой либе напигут и назовут ее Hax UI

Да, тут вполне можно было первым сообщением сказать - «Первый %SUBJ%»

чёрт, такой шанс потерял :'(

Facebook представил проект, Haxl

в заголовке — забыли поставить запятую после слова «проект».. :-)

# P.S.: заглянул в комменты чтобы прочитать что-то умное про какок-нибудь там умный Хаскель — а оказалось все комменты примерно как мой :-D

Facebook представил проект нах!

не очень удачное для русскоязычного населения название

Читал текст новости и никаких ассоциаций с тем, что ты сказал вообще не было. Не надо путать русскоязычное население и быдло, mon cher.

Мне бы очень пригодилось, но... хаскель.

А какие сервисы FB написаны на Хаскеле?

А я первый раз прочитал: «Facebook послал свой проект Нах!»)))

Просмотрел https://code.facebook.com/projects/ и не идентифицировал других опенсорсных facebook проектов на хаскеле.

Ждем ответ ВКонтакте в виде либы на Agda, что-то типа «APoxl».

Дык внутренние-то core-сервисы совсем не опенсурс небось.

Чуть более подробное описание о том где оно применяется в Facebook, и другие детали можно почитать в этом посте https://code.facebook.com/posts/302060973291128/open-sourcing-haxl-a-library-...

конкуррентно

concurrently переводится как «параллельно»

Concurrency & parallelism что, одинаково переводятся?

Я не знаю более удачного способа перевести это, кроме как вспомнить, что раньше различали 2 вида concurrency:

Apparent or Pseudo Concurrency: A single hardware processor is switched between processes by interleaving.
Real Concurrency: Multiple hardware processors are present in the machine and the OS can schedule tasks onto the processors.

http://users.cs.cf.ac.uk/O.F.Rana/os/lectureos2/lectureos2.ps

и перевести первое как «видимая параллельность» (= concurrency в современной терминологии) и «реальная параллельность» (= parallelism).

Если есть более удачные способы перевода — напишите. Вообще складывается ощущение, что статьи на эту тему на русском всё равно никто не публикует, так что всем пофиг.

http://www.rsdn.ru/forum/design/1027592.all

Ну и да, все мы знаем, что http://concur.rspace.googlecode.com/hg/talk/concur.html#title-slide, поэтому я бы уже употреблял конкурентность и параллелизм просто как заимствования. Хотя да, в рунете всем пофиг)

И только программист в слове «нах!» прочтет про Haskell.

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

Читал текст новости и никаких ассоциаций с тем, что ты сказал вообще не было

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

Ты ещё скажи, что не обратил внимания на первые пять букв в слове Pidora ;)

На фоне уже существующих проектов, не совсем понятно, зачем оно, да еще и на хаскеле.

Да прямо дежавю какое-то.

Facebook - плод любви Haskell и PHP

А на кой хрен это вообще оформили новостью? Может тогда весь выхлоп хакейджа на ЛОР перенаправить? Вон тут намедни выпустили третью инкарнацию аттопарсека (он стал внутре еще более императивным)... И?

Запилили еще одну монадку, которая MonadIO с финтифлюшками... Да, запилил СамЪ, и для нужд СамойЪ... Но не повод же.

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

Если хотите узнать что такое хаскель и зачем он реально нужен, смотрите например пакет lens и прочие творения Эдвардушки Кметта.

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

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

Ты ещё скажи, что не обратил внимания на первые пять букв в слове Pidora ;)

ну бывают же серьёзные люди без чувства юмора :-) ..

то есть например есть люди, которые могут сделать неверятную глупость — а лицо при этом у них будет очень умное и глубокомысленное :-D

к слову lens это очень дурацкий пример

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

А уже это жизненно необходимо для работы с древовидными структурами... Т.е. практически всегда.

А если насчет практики, то вот Брайен О'Салливан сварганил HTTP-библиотечку wreq с lens-based API, которую как раз хорошо использовать вместе с сабжем.

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

Ну так получилось, что оно и полезно, что в общем-то не удивительно. Брайн О'Салливан, если я не ошибаюсь тоже в fb и тоже в том числе над haxl работает?

nerdogeek

facebook - как лицо успеха. php-кодера туда берут, а вот хаскелиста нет((
Мир жесток и несправедлив

Да, похоже что haskell становится мейнстримом. Как и D. Благодаря такой именитой фирме, да.

А если честно, то соболезную тем, кому придётся сапортить этот проект. Всё-таки академические языки - это одно, а продакшен - ну ты понял.

Всё таки подходящие инструменты - это одно, а однобитовые тупорылые макаки - ну ты понял.

Починил. Кому соболезновать почини уже сам.

Брайн О'Салливан, если я не ошибаюсь тоже в fb и тоже в том числе над haxl работает?

Не знаю, похоже на то. Если кто переведет с новояза должность Engineering Manager.

Насчет «идиоматичности» вопрос тоже весьма интересен. Генерализованная свёртка неидиоматична?

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

Ясен пень, идиоматика в хаскеле первична. Но это же не повод приносить теорию в жертву идиоматике!

Facebook
Haskell

Неожиданное сочитание.

ну бывают же серьёзные люди без чувства юмора уровня младшеклассника :-)

fxd

Насчет «идиоматичности» вопрос тоже весьма интересен.

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

Т.е. про фразу:

Если хотите узнать что такое хаскель и зачем он реально нужен, смотрите например пакет lens и прочие творения Эдвардушки Кметта.

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

После регулярных конкурсов-олимпиад Facebook Hacker Cup, остаётся только делать проект Haxl, чтобы как-то этих хакеров-хэкеров продавать!

Facebook Hacker Cup, остаётся только делать проект Haxl, чтобы как-то этих хакеров-хэкеров продавать!

4.2 же! Ты не в теме, камрад. Саймона Марлоу FB не по объявлению нанял, а перекупил у M$ Research.

История HAXL — банальна. Тыщщи таких: а) пилили недоязычок; б) задолбало пилить недоязычок; в) взяли GHC.

We previously had a custom DSL and it outgrew it's DSL-ness. The DSL was really good at one thing (implicit concurrency and scheduling io), and bad at everything else (cpu, memory, debugging, tooling). The predecessor was wildly successful and created new problems. Once all those secondary concerns became first order, we didn't want to start building all this ecosystem stuff for our homemade DSL. We needed to go from DSL to, ya know, an L. So the question is which...

If you understand the central idea of Haxl, I don't know of any other language that would let you do what Haxl in Haskell does. The built in language support for building DSLs (hijacking the operators including applicative/monadic operations) -really- shines in this case. I would -love- to see haxl-like implicit concurrency in other languages that feel as natural and concise. Consider that a challenge. I thought about trying to do it in C++ for edification/pedagogical purposes but it's an absolutely brutal mess of templates and hackery. There may be a better way, though.

Радует то, что они это заопенсорсили... Очень много контор на хаскеле пишут... Но не опенсорсят...

HAXL в этом отношении прекрасно показывает, что такое хацкель и зачем он нужен

Да нихрена он не показывает! Он показывает, что синтаксические особенности хаскеля позволяют невозбранно жамкать монадку IO (instance MonadIO) в самой извращенной форме, и при необходимости пришить проекту императивные потроха, вплоть до FFI и сговоров с LLVM.

Тут я не спорю: каждому свое. Сишная куча — лучший друг хаскелиста, а cbits — пророк Её. Под венду GHC идет в комплекте с GCC, и всякое такое. А там глядишь тулзу для герации биндингов к плюсам таки допилят...

Просто, хакель — это нечто большее, чем интерпретатор императивных недо-EDSL. И из-за этого страдает дело: начитавшись дерьмовых «туториалок по монадам», начинают воображать невесть что, после чего от столкновения с реальным положением дел начинается когнитивный диссонанс: ФП, чистота, ленивость vs. императивность, сишная куча и анбокснутость с принудительной WHNF.

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

Да нихрена он не показывает! Он показывает, что синтаксические особенности хаскеля позволяют невозбранно жамкать монадку IO (instance MonadIO) в самой извращенной форме, и при необходимости пришить проекту императивные потроха, вплоть до FFI и сговоров с LLVM.

ты точно уверен, что мы об одном и том же проекте? Ты видел презентации 2013 и 2014 годов? Общался с Семёном? Посмотрел код?

(я, честно, пока только код не смотрел, не до того пока)

Лол, Haskell в enterprise. Ну теперь точно php/python/ruby-капец :)

А вы не партнёр MicroSoft часом, в Biz$park не участвуете? http://cdn.trinixy.ru/pics4/20100219/podborka_68.jpg

А вы не партнёр MicroSoft часом, в Biz$park не участвуете?

Боже упаси! Обычный диванный аналитик. :P