@notxcain не добавишь? Чтобы уж как-то можно было это в комменты кинуть :)

упс

не добавил

я про другое

Если твой код ложится на монады, то нужно их использовать. Если не ложится, то наверное не нужно :) У деГоеса было видео на эту тему. Как они пытались починить монады когда у них код не ложился на них

кто в итоге сверху? гусь или монады?

я думал это про блоки и мух от котлет )

кто в итоге сверху? гусь или монады?

мне не понравилось ни одно решение из предложенных. ему я как понял тоже :)

мне не понравилось ни одно решение из предложенных. ему я как понял тоже :)

как обычно - backdoor значит

там чувак в коментах подсказывает как нам перейти на монады > Как будут по вашему выглядеть сервисы, если всё вокруг обвешать ридерами? Это только поначалу неудобно. Когда вы втягиваетесь в функциональное программирование, становится трудно остановиться. Сначала монады, потом трансформеры, потом Free, потом eff.

сидеть на том самом стуле, наверняка, тоже только поначалу не удобно

Ну вот если взять какой-то стримовый кусок кода, в него кастомную манатку можно запихнуть только в случае (cats\scalaz).iteratee

Если какой-то чувак в команде внезапно полюбил акторы - оборачивать хитрым функтором все мессаджи

А ExecutionContext он вездесущ

Так что я пост всё равно плюсанул.

Ну вот если взять какой-то стримовый кусок кода, в него кастомную манатку можно запихнуть только в случае (cats\scalaz).iteratee

В akka-streams просто нужно будет F ~> Future предоставить

В akka-streams просто нужно будет F ~> Future предоставить

Ты про mapAsync ?

да

Ну а если любой другой стейдж

ну в этом случае это край света

то есть все твои абстракции разбиватются либо об Future либо об Id

или Eval

Интересно, насколько сложно навернуть какой-то ContextualActorMaterializer[C]

и где брать контекст на ступенях?

Чтобы он гонял C с каждым сообщением

и где брать контекст на ступенях?

Ну вот прям передаёшь с каждым месседжем его контекст, нет?

вот как только начинаешь больше работать c F[_] понимаешь как неудобны стримы типа акки или моникса

неудобны в плане абстракций

тут блещут pull based штуки

С другой стороны, StateT гипотетически может дофига наоверхедить

тут блещут pull based штуки

В мониксе Task вроде бы пуллбэйзд

Нужен очень крафтовый State

Russian Imperial State

Чтобы эффективно работать при всё своём

in soviet russia state executes you

повторяешься

in Soviet Russia state transfers you

В мониксе Task вроде бы пуллбэйзд

https://github.com/functional-streams-for-scala/fs2/blob/series/0.10/core/shared/src/main/scala/fs2/Stream.scala#L64

я вот про это

шутки про стейт всегда как новые

получение следующего куска стрима влечет за собой выполнение эффекта F

и тут уже свобода для творчества неограничена :)

получение следующего куска стрима влечет за собой выполнение эффекта F

ну тут не в том дело, пул или пуш

iteratee вон push - based, тот же эффект

надо заценить

я вот тоже что то засомневался что дело в пушпул

дело в стримах, которые сами себе монада

narcissistream

Ох

Сколько классных вещей вы тут делаете)

Warning: Community Toxicity level is dropping! Fresh repoisoning needed.

Так это, а как в этом примере https://gist.github.com/notxcain/36eb32687b6b7ed83177721746d368a1 быть, например, с упавшей фьючей?

В случае, если в .recover я хочу добавить в контекст сообщение

Сейчас закритикуем критиков. Tinkoff strikes back.

?

MonadError, сдается мне

у нас тут дублирование обсуждений на хабре?)

у нас тут дублирование обсуждений на хабре?)

У нас тут обсуждение, в отличие от мусора в коментах на хабре

MonadError, сдается мне

он самый

только MTL тайпклассы в кэтс невозможно юзать

точнее можно если он у вас один

а вчем причина невозможности?

иначе F[_]: MonadError: MonadReader будут конфликтовать за implicitly[Monad[F]]

они оба extends Monad[F]

а через тот трюк что newts делает нельзя?

да трюков полно

https://julien-truffaut.github.io/newts/

я не пробовал, просто интерисуюсь

интересно теги а-ля https://github.com/Treev-io/tagged-types тут помогли бы?

https://julien-truffaut.github.io/newts/

нет, это не поможет в этом случае

я правильно понял? - т.е если у нас есть cтек монад типа как в хаскелле: newtype M a = M (ReaderT Environment (StateT State IO) a) deriving (Functor, Applicative, Monad) то в случае котов у нас нет возможности эти конфликты поиска имплиситов разрешить?

@optician_owl видел https://apacheignite.readme.io/docs/machine-learning ?

@optician_owl видел https://apacheignite.readme.io/docs/machine-learning ?

я надеюсь это коллеги не увидят

?

@optician_owl думаешь не стоит тащить это к вам?)

@strobegen Вот вся проблема в одной строчке def foo[F[_]: Applicative: Monad] = implicitly[Functor[F]]

я уверен, что не стоит тащить все подряд без необходимости)

но риск такой есть

> def foo[F[_]: Applicative: Monad] = implicitly[Functor[F]] мне аж больно стало

я правильно понял? - т.е если у нас есть cтек монад типа как в хаскелле: newtype M a = M (ReaderT Environment (StateT State IO) a) deriving (Functor, Applicative, Monad) то в случае котов у нас нет возможности эти конфликты поиска имплиситов разрешить?

у хаскеля есть разные стеки, есть mtl, а есть mtl-tf

> def foo[F[_]: Applicative: Monad] = implicitly[Functor[F]] мне аж больно стало

https://github.com/typelevel/cats/issues/1616

#MTLexit

в новой scalaz есть такой подход trait MonadReader[F] { type S implicit def monad: Monad[F] }```вместо ```trait MonadReader[S, F] extends Monad[F]

я вот только не понимаю зачем там вообще нужна монада?

для laws ?

если для реализации каких то методов у тайпкласса то я бы передавал в имлиситах лучше

trait MonadFoo[F[_]] { def foo: F[Int] def bar(i: Int): F[Unit] def foobar(implicit F: Monad[F]): F[Unit] = F.flatMap(foo)(bar) }

типа того

я вот только не понимаю зачем там вообще нужна монада?

как требование, чтобы выразить включение между тайпклассами

@strobegen Вот вся проблема в одной строчке def foo[F[_]: Applicative: Monad] = implicitly[Functor[F]]

выглядит печально ?

я просто наоборот вижу это как строительные блоки возможностей F[_], типа`Monad[F] - последовательные вычисления, `Stateful[F] - управление состоянием вычисления

т.е. TC1 ⊂ TC2 или TC1 implies TC2

да, я понял тебя, просто профита не вижу. Может это в скале так, в хаскелл не нырял

да, я понял тебя, просто профита не вижу. Может это в скале так, в хаскелл не нырял

ну у тайпклассов есть minimal complete definition, и те методы, что в него не входят, иногда подразумевают реализацию с помощью методов требуемого тайпкласса

https://github.com/typelevel/cats/issues/1616

вроде бы планируют в 1.0.0-MF - так, что наверное скоро уже

да, я понял тебя, просто профита не вижу. Может это в скале так, в хаскелл не нырял

плюс Monad = Applicative with FlatMap, вот как бы ты настэкекал эффекты так, чтобы у тебя был непротеворечивый pure

trait Pure[F[_]] { def pure[A](a: A): F[A] } ?

def fubar[F[_]: Pure: FlatMap]