Дв и в се3 тоже пока. Но есть PR, чтобы он брался из рантайма:
https://github.com/http4s/http4s/pull/4782

Вопрос про будущее: коты/котоэффекты все такие бинарно-совместимые и стараются поддерживать обратную совместимость в апи (кроме апдейта до 3.х конечно, в котором они заставили юзеров переписывать код).

Но вот тут появляется скала3, на которую если все переписать в котах/ке, то апи может измениться в лучшую сторону, инлайн флетмап и прочее хорошее. Тем не менее, они так юзеров заставят опять переписывать код. И что выходит, фич из скалы3 в котах можно не ждать?

Я думаю они сами ещё не знают, чё делать

Думаю, в ближайшие годы старые либы так и будут кроссконпилиться под 2.13/3 с совместимыми сорсами.

На гитхабе у них была дискуссия про это https://github.com/typelevel/cats/issues/3757

Добрый день!

Подскажите, пожалуйста, решение по такому кейсу

Есть некий метод в классе, который возвращает F[Int]
Если условие a.ids.nonEmpty истина, то for возвращает count валидного типа, но как верно обработать false вариант и вернуть константу (0 например)?

В таком варианте идет конфликт типов, т.к. во втором случае вернется Int, а не F[Int]
```
def fire[A](a: IType[A]): F[Int] =
       if (a.ids.nonEmpty) {
           for {...} yield count
       } else 0
```

Applicative[F].pure(0)

Спасибо!

вот более дженерик вариант
 def fire[A](a: IType[A]): F[Int] = {
   import cats.syntax.foldable._
   a.ids.headOption.foldMapM(_ => f)
 }
, где f - функция из вашего for

Так там наверное траверс какой-нибудь

По айдишникам

ну они никуда не потеряются

как может быть так, что юзается specs2,  а вылетает вот такая вещь: ~foo/testOnly  com.* -- exclude tag и ругня на то, что скалатест не понимает этого аргумента

В билдчбт мб есть строка testFrameworks := Seq(Scalatest) или вроде?

Что спекс2 не распознаётся, потому что исключен

не-а в депсах даже нет скалатеста и подобных настроек

Скала тест там в дефолтах

Его можно исключить

Добрый день!

Подскажите как такое преобразование сделать:
F[Vector[Int]] => Vector[Int]

В cats есть такое решение: UnorderedFoldable
F[A] => A unorderedFold

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

Пробовал так
UnorderedFoldable[F].unorderedFold[Vector[Int]](fIntVector)
Где fIntVector: F[Vector[Int]]

Что можно почитать про ФП и scala?