[Moscow.pm] А почему не Perl?

[Alexander Q]

Почитать посоветую Learning Haskell for great good, экземпляр русского
перевода могу дать почитать, в районе метро Аэропорт.

On Wed, Apr 27, 2016 at 1:30 PM Alexander Q <qalexx на gmail.com> wrote:

> > Какой снобизм? Просто непонимание, почему, если без unsafePerformIO
> никуда, говорят о чистоте.
>
> А кто сказал, что "никуда"? Я дал кусок кода, который берёт чистую функцию
> для вычисления md5 и выдаёт IO MD5. И ни одного unsafe, ваще ни одного, в
> моём коде нет. Конечно, мой код основывается на определённых
> предположениях, от "эта библиотека работает как заявлено" и до "в этом
> процессоре нету ошибок", но это всегда так, правда?
>
> До уровня написания библиотек типа bytestring вам значительно дальше, чем
> до понимания как их использовать. Для вас это чёрный ящик, который
> работает. Но если это действительно так важно для вас, то пусть readFile
> будет String -> IO String, md5 будет String -> String, и тогда
>
> md5io :: String -> IO String
> md5io = fmap md5 . readFile
>
> IO — монада, в которую могут прилетать exceptions. Это нормально для
> монады, для которой есть инстанс MonadThrow. Это не делает монаду менее
> pure.
>
> Вы задаёте много вопросов, на каждый из которых есть ответ, и эти ответы
> занимают здесь довольно много места. Давайте вы мне будете писать лично, а
> когда найдёте нормальную зацепку для доказательства, что Haskell вообще не
> то и go гораздо лучше — тогда уже в список рассылки.
>
> On Wed, Apr 27, 2016 at 1:18 PM Alex Chistyakov <alexclear на gmail.com>
> wrote:
>
>> 2016-04-27 13:09 GMT+03:00 Andrey Kovbovich <akovbovich на gmail.com>:
>>
>>> В телекоме и банкинге Haskell может быть только если переименовали COBOL.
>>>
>> Работал в телекоме еще 17 лет назад, никакого "COBOL" не видал даже
>> близко.
>> QNX, C++, Windows CE, Sun SPARCs, Java, CORBA и прочие радости жизни.
>> В R&D Дойчебанка про COBOL слышали только отдаленно - сплошная Java и
>> Java поверх Java.
>> Но вы продолжайте верить в единорогов.
>>
>>
>>
>>
>>> 27 апр. 2016 г. 11:51 пользователь "ksvs" <ksvs1996 на ymail.com> написал:
>>>
>>> Спасибо за ссылку.
>>>> А ответы на ваши вопросы, который на мои вопросы - я ответов не знаю.
>>>>
>>>>
>>>> On Wednesday, 27 April 2016, 11:43, Alex Chistyakov <
>>>> alexclear на gmail.com> wrote:
>>>>
>>>>
>>>>
>>>>
>>>> 2016-04-27 9:44 GMT+03:00 ksvs <ksvs1996 на ymail.com>:
>>>>
>>>>
>>>> "Телеком, банкинг и HFT" и "Отделять IO от чистых функций очень"?
>>>>
>>>> 1) банкинг - как?
>>>> Или из базы сразу поднимается вся история клиента и в чистой функции
>>>> работают алагоритмы по решению давать ли кредит?
>>>>
>>>>
>>>> Откуда ж я-то знаю?
>>>> Я вообще на PHP дорвеи и дейтинги пишу в рамках ежедневной работы.
>>>>
>>>>
>>>>
>>>>
>>>> 2) HFT - тут haskell? А разве там на kdb?
>>>>
>>>>
>>>> Ни разу не слышал, чтобы там применяли kdb.
>>>> Зачем?
>>>> Свободных IMDG нет, что ли?
>>>>
>>>>
>>>>
>>>>
>>>> Там ведь базу в памяти и векторный оапрации?
>>>>
>>>> 3) Телеком - а что там? разве там не работа с IO.
>>>>
>>>>
>>>> И?
>>>> Очевидно, данные откуда-то поступают, так что работа с IO везде.
>>>>
>>>>
>>>>
>>>>
>>>> Базе IO сложные алгоритмы и типы так на ум проходят системы логики,
>>>> доказательства. Но там кажется SML и Ocaml.
>>>>
>>>> Или тут на Hаskell пишут EDSL и уже генерируют код?
>>>>
>>>>
>>>> Например.
>>>>
>>>>
>>>>
>>>>
>>>> Интересно. А то тут же Зефиров столько про Haskell рассказывал, а сам
>>>> сейчас на C# пишет.
>>>>
>>>> P.S.
>>>> Самому Haskell нравиться, но как-то все у меня в IO...
>>>>
>>>>
>>>> Кстати, гугл сказал, что раньше dmz использовал Ocaml.
>>>> Спросите, его, почему перешел на Haskell?
>>>>
>>>>
>>>> Вот что он сам говорит об этом:
>>>> https://www.facebook.com/alexclear/posts/10206939303546236?comment_id=10206939725356781
>>>>
>>>>
>>>>
>>>>
>>>> Вдруг из-за IO! У GHC > 7.8 очень классная многопоточность и быстрый IO.
>>>>
>>>>
>>>> On Tuesday, 26 April 2016, 17:48, Alex Chistyakov <alexclear на gmail.com>
>>>> wrote:
>>>>
>>>>
>>>>
>>>> 2016-04-26 17:06 GMT+03:00 Daniel Podolsky <onokonem на gmail.com>:
>>>>
>>>> > Хаскель в частности и функциональные типизированные языки в общем
>>>> привносят
>>>> > довольно много концепций, которые недоступны медианному програмисту
>>>> на go.
>>>> на этом месте я подумал - "а вдруг я чего-то не знаю про хаскель"
>>>>
>>>> скажите, какие есть у нас проекты крупные и популярные на хаскеле?
>>>>
>>>>
>>>> Популярные среди кого?
>>>> У нас есть коллега dmz, который тренирует людей себе в команду и делает
>>>> крупные и популярные проекты.
>>>> Телеком, банкинг, другие большие лавки.
>>>> Кто-то HFT на Haskell делает.
>>>>
>>>>
>>>>
>>>>
>>>> --
>>>> Moscow.pm mailing list
>>>> moscow-pm на pm.org | http://moscow.pm.org
>>>>
>>>>
>>>>
>>>>
>>>> --
>>>> Moscow.pm mailing list
>>>> moscow-pm на pm.org | http://moscow.pm.org
>>>>
>>>>
>>>>
>>>>
>>>> --
>>>> Moscow.pm mailing list
>>>> moscow-pm на pm.org | http://moscow.pm.org
>>>>
>>>>
>>> --
>>> Moscow.pm mailing list
>>> moscow-pm на pm.org | http://moscow.pm.org
>>>
>>> --
>> Moscow.pm mailing list
>> moscow-pm на pm.org | http://moscow.pm.org
>>
>
----------- следущая часть -----------
Вложение в формате HTML было извлечено…
URL: <http://mail.pm.org/pipermail/moscow-pm/attachments/20160427/ecbcb54b/attachment-0001.html>