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

Ср Апр 27 06:22:08 PDT 2016

В этой книжке прикольные картинки, если чо.

27 апреля 2016 г., 13:32 пользователь Alexander Q <qalexx на gmail.com>
написал:

> Почитать посоветую 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
>>>
>>
> --
> Moscow.pm mailing list
> moscow-pm на pm.org | http://moscow.pm.org
>
>
----------- следущая часть -----------
Вложение в формате HTML было извлечено…
URL: <http://mail.pm.org/pipermail/moscow-pm/attachments/20160427/0e449dc8/attachment-0001.html>