Надо будет глянуть. Интересно чо там Вагиф рассказывать будет

Про книгу Гранина, прикинь

«Купил книгу по фримонадам, мой нелепый код наконец-то начал трансформироваться как надо, это не осталось незамеченным и мне сделали оффер с релокейтом в Норвегию».

Фримонады появились значительно позже, кмк

Фримонады появились значительно позже, кмк

Примерно в 1953 вместе с первым трудом по теоркат.

Примерно в 1953 вместе с первым трудом по теоркат.

Я имею в виду их популярность в той же скале. Год 2014 где-то

Я имею в виду их популярность в той же скале. Год 2014 где-то

А, не, на Хаскель вики уже очень давно висят.

Наброски.

До Скалы просто не сразу доходит это бурление математической мысли.

Ну вот есть в том же фшарпе квотейшны

Чем не фри монады

На их базе даже Fable написали

Чем не фри монады

Я могу пригласить сюда эксперта

Вроде и не пятница

И он ответит на все твои вопросы и научит всему

Можешь про смысл жизни тоже спрашивать

Чем не фри монады

Тем, что это не фри монады.

Мне кажется, не стоит кидаться из крайности в крайность

Учитывая, что у нас тут свои эксперты по фри монадам

Мне кажется, не стоит кидаться из крайности в крайность

Лучше бы Илью покритиковали

Которого? С опытом прода или без?

Которого? С опытом прода или без?

Тут уж сами решайте

И он ответит на все твои вопросы и научит всему

Не надо. Если тут будет Гранин, то я начну его траллировать по поводу того, что final tagless всем лучше его фри монад.

Лучше бы Илью покритиковали

Илью уже жизнь покритиковала

Причем обоих

Не надо. Если тут будет Гранин, то я начну его траллировать по поводу того, что final tagless всем лучше его фри монад.

Но это же мой профиль!

Илью уже жизнь покритиковала

Наконец-то голос здравого смысла

А на самом деле я с ним несколько раз общался и он вполне адекватный как мне показалось

Мне [не]повезло общаться с людьми с реальными психическими проблемами, и ты не поверишь - они все адекватные. Причем настолько, что все успевали затащить до дюжины разных людей в водоворот своего безумия, с настоящими последствиями для последних (потеря работы, потеря крупных сумм, потеря семьи и т.п.)

Мне [не]повезло общаться с людьми с реальными психическими проблемами, и ты не поверишь - они все адекватные. Причем настолько, что все успевали затащить до дюжины разных людей в водоворот своего безумия, с настоящими последствиями для последних (потеря работы, потеря крупных сумм, потеря семьи и т.п.)

Вот тут я напрягся! )))

Вот тут я напрягся! )))

Ну вообще не могу не согласиться - мой опыт тоже показывает что они создают впечатление очень адекватных людей

Я сегодня полдня читал функциональный код в духе if opt.IsSome() then opt.Value()

А понятно становится уже постфактум

И вы тут ещё про психов рассказываете

Вот тут я напрягся! )))

На ютубе есть канал «мед видео» или как-то так, там выкладывают клинический материал для специальности «психиатрия», ты можешь посмотреть и прикинуть, смог бы ты в этих людях распознать психбольных, если бы там не было психиатра, который вытаскивал бы их безумие под свет прожекторов? Это очень сложно для неспециалиста

Выражу непопулярное мнение. Прочитал пару глав книги Гранина. Пока что судить трудно, но в целом чтиво выглядит адекватным.

Выражу непопулярное мнение. Прочитал пару глав книги Гранина. Пока что судить трудно, но в целом чтиво выглядит адекватным.

Слишком толсто

В любом случае, немного не понимаю столь негативного отношения.

У нас тут интересный гость https://www.youtube.com/watch?v=ndtP1whKv7I

какие люди

А вы ж знаете, да, что Гранин ещё приложил руку к книге ФП на С++?

В любом случае, немного не понимаю столь негативного отношения.

Проблема в том, что в реальной жизни те же любимые Гранином имеют очень узкую применимость и абсолютно отвратительный перформанс по всем фронтам. При том что тот же final tagless стиль более выразительный, проще для реализации и на перформанс особо не сказывается вообще

В любом случае, немного не понимаю столь негативного отношения.

Да нормальное отношение, тут не столько к Гранину лично отношение, сколько к Хаскелистам в целом, которые продакшин никогда толком не видели, но бесконечно обсуждают pure functional architectures.

Это просто стеб.

А вы ж знаете, да, что Гранин ещё приложил руку к книге ФП на С++?

Да. Он довольно активен (был) в плюсовом сообществе.

Надо изящнее. Вот смотри: «мы взяли методы Гранина на вооружение в наш проект и дела пошли просто великолепно: все ошибки ловятся компилятором, выкинули юнит-тесты, то, что раньше делали 15 жавистов, сегодня делает два хаскеллиста, причем первый выступает на конференциях, а второй попутно занимаеся проджект-менеджментом. Мой лайф-коуч советует перевести всю организацию на хаскель, так что дерзайте и у вас тоже получится»

Да нормальное отношение, тут не столько к Гранину лично отношение, сколько к Хаскелистам в целом, которые продакшин никогда толком не видели, но бесконечно обсуждают pure functional architectures.

Простите, ни одной лямбды нет в моем сообщении.

В любом случае, немного не понимаю столь негативного отношения.

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

Главная ирония именно в этом

> tagless final > выразительно Ну по сравнению со староклингонским выразительно, не поспоришь

Щас будет, мол, дебажить нельзя

Гранин мне уже ответил на это

«Не нужно писать код, который надо дебажить».

И все. Точка.

«Не нужно писать код, который надо дебажить».

Што

И все. Точка.

«Просто перестань быть бедным! Найди там, не знаю, работу что ли, чтобы платили хорошо, делай что-нибудь короче»

Я даже думал, а не пойти ли и не завести задачу в Джире, «начать писать код, который не нужно дебажить» и даже может быть critical приоритет поставить?

Я даже думал, а не пойти ли и не завести задачу в Джире, «начать писать код, который не нужно дебажить» и даже может быть critical приоритет поставить?

Перестаньте бросать опасные идеи в ноосферу. Наши ПМы их оттуда подбирают

Перестаньте бросать опасные идеи в ноосферу. Наши ПМы их оттуда подбирают

Даже acceptance criteria какие чёткие: единственный пункт - написан код, который ни разу не дебажился. Needed QA: false.

> tagless final > выразительно Ну по сравнению со староклингонским выразительно, не поспоришь

Ну тут выразительность подразумевается в плане того, какой набор эффектов можно выразить данным приёмом. У tagless final он ощутимо шире, чем у фри монад по очевидным причинам. Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.

Ну тут выразительность подразумевается в плане того, какой набор эффектов можно выразить данным приёмом. У tagless final он ощутимо шире, чем у фри монад по очевидным причинам. Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.

Нет, я все таки сейчас позову Гранина

Ну тут выразительность подразумевается в плане того, какой набор эффектов можно выразить данным приёмом. У tagless final он ощутимо шире, чем у фри монад по очевидным причинам. Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.

Давай мы перечислим языки, на которых TF вообще доступен, хотя бы в принципе. А потом сравним их выразительность по какой-то шкале, на которой находятся хотя бы некоторые мейнстрим языки

Давай мы перечислим языки, на которых TF вообще доступен, хотя бы в принципе. А потом сравним их выразительность по какой-то шкале, на которой находятся хотя бы некоторые мейнстрим языки

TF используемый в качестве эрзац системы эффектов? Или TF как подход для энкодинга данных функциями? Первое - да, доступно толком только там, где можно HKT выразить хоть как-то эргономично. Второе - были бы дженерики в языке - можно сделать.

plz no

plz no

«Господь, жги!»

Alexandr typing...

Я в целом представляю как он ответит, там небось будет про то, что а как же бойлерплейт на трансформеры (но свои трансформеры никто неиронично не пишет в реальной жизни с FT)

Я в целом представляю как он ответит, там небось будет про то, что а как же бойлерплейт на трансформеры (но свои трансформеры никто неиронично не пишет в реальной жизни с FT)

Ооо, так а он-то тебя оказывается знает.

Да у нас тут целая Санта Барбара.

Ооо, так а он-то тебя оказывается знает.

Я в хаскель чате как-то с ним спорил уже

Я в хаскель чате как-то с ним спорил уже

Запомнил!

Обиду затаил*

Запомнил!

Ну не знаю почему он так обо мне отзывается, я на личности с ним в спорах ни разу не переходил, так что это он зря.

Ну не знаю почему он так обо мне отзывается, я на личности с ним в спорах ни разу не переходил, так что это он зря.

Я уже написал ему это

Ну я уже много раз говорил, что считаю mtl как раз boiler plate. Люди почему-то смотрят на FM и видят бойлерплейт в интерпретаторах, когда их один раз написал и забыл. А вот boilerplate в бизнес-логике, который приходит с системами эффектов и FT, они не видят

(Ну и еще там была проблема квадратичного количества инстансов где-то для mtl)

Ну я уже много раз говорил, что считаю mtl как раз boiler plate. Люди почему-то смотрят на FM и видят бойлерплейт в интерпретаторах, когда их один раз написал и забыл. А вот boilerplate в бизнес-логике, который приходит с системами эффектов и FT, они не видят

Так бойлерплейт у фри монад как раз тут и будет, потому что придется как-то выкручиваться в кейсах, когда надо совместить в одном месте два разных эффекта из разных библиотек или модулей. Что через FT решается просто как нечего делать. (Как пример - см. скаловскую котовую экосистему)

Наконец-то, спор перешёл в соответствующий чат.

Как тут не вспомнить слова Торвальдса: "C is the best programming language ever!”