Size: a a a

2020 May 09

R

Roman in haskell_blah
про перфоманс не стал писать, ибо не хочу мерить. Но у FT с этим должно быть лучше, ибо нет промежуточного представления
источник

АГ

Александр Гранин... in haskell_blah
Roman
это конечно забавный каламбур, но есть какие-нибудь комменты по существу? Пока что единственный плюс HFM. который я вижу, это бОльшая гибкость в плане тестирования. Нужна эта гибкость или нет, я понятия не имею. И с синтаксическим деревом без Free оно будет сподручнее, но тогда получится, что есть и FT и кусок от HFM, но возможно так все равно удобнее.

а, ну и черт его знает, не отвалятся ли эти QuantifiedConstraints где-нибудь. Вроде как они не протекают явно в код юзера, но сравнительно новым фичам в хаскеле доверять сложно. Но эти App и не нужны, forall m. MonadApp m => m () ничем не хуже

есть что-то кроме тестируемости, где HFM выигрывают?
По существу мне нечего особо сказать. Как я понял, сторонники FT еще не выработали единый паттерн того, как это делать.
источник

R

Roman in haskell_blah
у меня вообще никакого паттерна нет, потому что я не с тырпрайзом работаю. Мне трансформеров хватает
источник

АГ

Александр Гранин... in haskell_blah
Ну где выигрывают HFM... Наверное они выигрывают тогда, когда нужно какому-нибудь левому чуваку обновить фреймворк. Там понятно как что делать. А вот то, что ты написал, я не смогу даже запомнить
источник

AV

Alexander Vershilov in haskell_blah
Вопрос опыта, мне проще понять, что написал Роман, чем фреймворк на фримонадах
источник

AV

Alexander Vershilov in haskell_blah
Каждый раз мозг выносит, когда что-то с ними делаешь, и приходится на порядок больше по коду бегать
источник

AV

Alexander Vershilov in haskell_blah
Но это отсуствие опыта работы с такими библиотеками
источник

A

Alexander in haskell_blah
Кстати а кто второй чел там в очках? Мне понравилось как он иронизирует на фп, а Гранин - постоянно серьёзное лицо.
источник

AV

Alexander Vershilov in haskell_blah
источник

A

Alexander in haskell_blah
Ага спасибо. Понравилось даже "пока фп встаёт с колен"
источник
2020 May 10

LO

Leonid 🦇 Onokhov in haskell_blah
Roman
Переслано от
На реддит!
источник

R

Roman in haskell_blah
Leonid 🦇 Onokhov
На реддит!
запостил ужо
источник

АГ

Александр Гранин... in haskell_blah
Roman
запостил ужо
Вангую, что там будет 100 и больше лайков.
источник

АГ

Александр Гранин... in haskell_blah
(К вопросу о трудозатратах и результирующем выхлопе)
источник

АГ

Александр Гранин... in haskell_blah
Впрочем, ничего удивительного. Религия FT / mtl / эффектов в Хаскеле самая распространенная
источник

KV

Kirill Valyavin in haskell_blah
Пока похоже, что больше всего распространена религия ReaderT IO
источник

АГ

Александр Гранин... in haskell_blah
Она тоже
источник

АГ

Александр Гранин... in haskell_blah
Меня в этом сильно смущает два момента:
- Плотная завязка на IO. Если его могут вызывать бесконтрольно (а в ReaderT и IO могут), то его будут вызывать безконтрольно.
- Отлов исключений и ошибок. Совершенно неясно, какие и где ловить, как делить код на домены ошибок. С FT/mtl вообще беда. Не раз видел, как посреди кода "бизнес-логики" вдруг торчит какой-нибудь MonadMask и его методы, и понимай как хочешь, нафига про это знать конечному пользователю. Да и "бизнес-логика" часто (во всех кодобазах, которые я видел) вперемешку с деталями имплементации, отовсюду торчат уши низкоуровневых библиотек.
источник

АГ

Александр Гранин... in haskell_blah
Это всё в Хаскеле работает, потому что продукты разрабатываются ограниченным кругом хаскеллистов, которые не слишком заботятся о доступности кода новичкам. В long term это проигрышная стратегия
источник

АГ

Александр Гранин... in haskell_blah
(Выигрышная для одного проекта, проигрышная для всего Хаскеля)
источник