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

И чё, увеличивается доля?

Конечно.

В одном Juspay с десяток проектов на Haskell / PureScript. И всё благодаря мне

Благодаря личному вмешательству или благодаря вот этой всей чертовщине с фримонадами?

Почему "или". "и"

Ну личное вмешательство не особенно интересно, потому что не масштабируется

Так что хочется видеть примеры, где компании почитали и приняли хаскель без персонального вмешательства

Когда меня пригласили в Juspay, там были попытки перейти с Groovy / JavaScript на PureScript. Они пытались на PureScript делать мобильные приложения, но у них не выходило. Код был кривой и не работал толком. Я им предложил фри монады и фреймворк (PureScript Presto). И зашло, - они почувствовали, насколько это проще, и почувстсвовали уверенность в ФП. Их главный мобильный продукт так написан теперь. Там даже менеджеры садятся с разработчиками в круг с проектором и начинают писать / обсуждать код. И всем всё понятно. Так и началась успешная история Haskell / PureScript в этой компании. Конечно, Вимал Кумар искал способы затащить это в прод, и инициатива шла от него, но именно фри монадический фреймворк убедил их, что ФП - это не страшно. Дальше они (мы) распространили эти практики на бэкенд. Тот же самый фреймворк с дополнениями (PureScript Presto.Backend) сейчас драйвит их главные API. Там еще есть хаскельный его аналог, который мы сделали с ребятами за прошедшие осень-зиму, но он пока не опен сурсный. Кроме того, я им сделал resumable persistent distributed workflows (тоже фри монад дривен), я уже как-то про это рассказывал. Ну и есть еще пяток проектов, которые не на фри монадах, а на каких-нибудь других технологиях (streamly например), но эти проекты побочные большей частью, и не все из них себя оправдали.

Это всё не очень интересно, потому что вряд ли сработает в других компаниях с другими людьми и без личного участия Александра Гранина, да и не факт, что нельзя было то же самое сделать без фримонад (или с другим их сортом)

в Индии это хорошо заходит, возможно, имеет смысл и дальше внедрять в том регионе, а потом уже козырять статьями вида "15 компаний, использующих HFM"

я вижу тут типичную ошибку.. первое хорошее внедрение не означает, что второе внедрение будет проще, оно будет.. другое..

Я не представляю, как бы я делал workflow-движок без фри монад. Это либо плохо бы работало, либо было бы ужасно использовать. Потому что нужна была интроспекция. Или то же automatic whitebox testing (мы его зовем automatic regression testing), - тоже неясно. Чтобы это тестирование раотало, нужно, чтобы в коде не было нечистых хаков, - они не рекордятся и не реплаятся. Ты просто не сможешь записать сколь-нибудь большой сценарий бизнес-логики. Да даже и при фри-монадическом фреймворке мы потратили месяц на вычищение хаков, которые товарищи принесли в код (при помощи PS->JS->PS трюка), чтобы наши сценарии начали записываться и проигрываться.

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

>Я не представляю, как бы я делал workflow-движок без фри монад.
А кто-то другой бы представлял и сделал

Второе внедрение состоялось в Enecuum. Там, когда я пришел, 11 месяцев пилили код, который был мессивом из слоев без четкого дизайна. Не тестируемый, толком не рабочий. (Извини Дмитрий, но это так было). Фри монадный фреймворк помог не только все эти проблемы решить и очень быстро (реально быстро - в 2-3 раза быстрее) написать блокчейн, но и качество кода повысить радикально за счет разнообразного тестирования.

Вот пусть пойдет и сделает.

Ну в общем пока что все доводы сугубо спекулятивные, "если бы да кабы", и видно только одну пользу от этой проповедческой деятельности — пользу лично для Александра Гранина, ну может ещё для тех, кто использует произведённые им инструменты (а много ли пользователей?)

Хочется верить, что это только начало и в будущем всем хаскельным коммьюнити будем благодарить за то, что везде настал хаскель, но на данный момент не видно даже близко

> мешаешь и хаскелю, и маркетингу
Крайне сомнительное заявление

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