Вам какие тайпклассы нужны?

это уже попахивает AbstractSingletonProxyFactoryBean

А что сча у ZIO с их собственными type class-ми?

zio-interop-cats

дегуз считает, что тайпклассы это так себе

не слышал, чтобы это изменилось

Есть Diff в zio-test. Есть кодеки в zio-json. Есть Gen в тестах опять же. Вам какие тайпклассы нужны?

То как их предлагают использовать котофеи в виде F:Shtuka в коде приложения и впрямь похоже на ритуал

Мне как-то на собесадовании кандидат не смог рассказать как запросить Codec для T в метод, но смог сказать как получить монаду для F[_]… и даже после этого не ответил про кодек. Так что таки да: ритуал. Что згачит подчеркивание в F[_] он тоже не рассказал.

дырка, для утечки файберов

Прилеплять функционал к F помимо стандартного средствами вот этого не самое очевидное занятие, тоже, подкидывая имплиситсми не весть откуда взявшиеся имплементации

Дегуз, перелогиньтесь.

https://twitter.com/Kordyjan/status/1540269199821504514

Scala Steward воскресили

Найти бы гист, но представь, что ты пишешь луп, есть

case class FlatMap[A, B](first: IO[A], then: A => IO[B]) extends IO[B]

у тебя функция навроде
def runSync(io: IO[A]): A

делаешь match

case FlatMap(inner, f) =>

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

вместо этого
сделать
runSync(f(runSync(inner)))

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

поэтому идея в том чтобы внутри сделать что-то вроде

if(depth < critical) then do
depth = 1
directRecursion
depth -= 1
else
putContinuationOnStack

Это ж все ещё из зио1 пошло, ты как-то поздно набрасываешь

Enterprise Java Bind

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

А еще лучше JIT компилировать монадки через graal truffle

да и вообще монадок не иметь, писать в direct syntax

это все из доков миграции с 1 на 2. так что Тащи (Тачи/Таки?) не быкуй