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

[Alexander Q]

> Какой снобизм? Просто непонимание, почему, если без 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/93c8fca4/attachment-0001.html>