ладно, поживем-увидим.. пользуясь случаем, желаю здоровья вам, добрые люди! 🌞

запах чувствуешь?

этот симптом кстати вполне проявляется и просто при орви у многих

да

вы это, сами не болейте! 😉

только в компании?

будьте здоровы!

написал дисс на Гранина: https://github.com/effectfully/sketches/tree/master/hierarchical-free-monads-mostly-pointless

Молодец!

В распространении помогать не буду 😝

Прочитал. Твой английский лучше моего

@effectfully  Вот пусть Максим с тобой подискутирует.

Ну вот зачем наследовать MonadApp от MonadLogger

Ерунда какая-то

Странный у тебя фт

ну так это прямой эквивалент

data AppF next where
  EvalLogger :: Logger () -> (() -> next) -> AppF next

я компенсирую ужасным устным английским

@effectfully Даже если ты воскресишь FT, это уже будет зомби

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

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

есть что-то кроме тестируемости, где HFM выигрывают?