cats VS ZIO

Is that the pure from the Cats library? https://github.com/typelevel/cats/blob/main/alleycats-core/src/main/scala/alleycats/Pure.scala

Cats is a library which provides abstractions for functional programming in the Scala programming language. The name is a playful shortening of the word category. https://typelevel.org/cats/

Obviamente que teoria de categorias https://typelevel.org/cats/

Akka HTTP, Cats, Quill, ninny, Monix Observable, mill.

Have a look at Profunctor. Specifically at rmap

Example of how it makes life worse

But not so long ago he was doing releases for Cats even though he was officially out of TL. And when he had some outburst I saw more support from TL-related people than scolding. Unless he really went over the top (like the time he ranted some guy on GitHub) there was no action.

Scala really shines for more advanced FP (compared to Java, Kotlin, C#, Swift etc.) so I would suggest learning more about that. For example look into ZIO or Cats (or Cats Effect). You can find many tutorial videos on YouTube for these libraries.

Define new? Isn't Zio new enough?

If you want to use Scala then I would use something like ZIO as it is the closest to an FP application framework.

> doing FP in Scala versus alternatives

I think Scala is the language most actual functional programming on this planet takes place these days. Be it just FP or pure FP.

I especially like pure FP in Scala. One can do that with Cats Effect (from the TypeLevel family of languages) or ZIO. They're both awesome, so check them out and pick what you'll like best.

https://typelevel.org/cats-effect/

https://zio.dev/

You don't even need to reach out to Scala 3 (still not as mature in its tooling support), you can have a great time with the latest Scala 2 (2.13).

> versus alternatives

I think of Scala as a opinionated take on ML and a module system that is tailored to JVM (and is seamlessly interoperable with Java) that just happens to have syntax heavy on braces/parentheses. Otherwise, what's not to like? :)

The first point is about a fucking conference in 2016, in which the organizer invited several people with a process (and thoughts) explained here https://degoes.net/articles/lambdaconf-controversy aimed at being blind to sex/religion/political views etc. He repeatedly stated to be in a strong disagreement with "white supremacist" views and the such. The first words of the ZIO's code of conduct are precisely about that btw https://github.com/zio/zio/blob/master/docs/about/code_of_conduct.md, and zio follows the scala code of conduct. You can agree or disagree about whether "allowing that person, selected in the way described above (without any preference at all for white supremacists of course), to speak precisely about one particular topic and only if they adhere to the code of conduct" is "giving them a platform to share their ideas", but even if you do think that the first approach is completely wrong, it's a pretty big jump from here to accuse the person holding that view (actually a less-strong version of it) of being a white supremacist themselves and the same of all people that associate with that person (the organizer) and stalk and harass them for years on end

Since you are talking about an IO monad, maybe ZIO (https://zio.dev/) offers some interesting ideas. Rather than an IO monad, ZIO is a family of IO monads with type parameters to support user-defined environments and error types.

ZIO (interoperates with TypeLevel to some extent)

please show me something like this: https://akka.io/ or this: https://zio.dev/ or this: https://github.com/milessabin/shapeless

Here is link number 1 - Previous text "ZIO"