zio-prelude

> cats or zio are basically ports of Haskel into Scala Not really. And ZIO takes special pride in that not being the case. That's not to say that the authors didn't know (about) Haskell and its libraries. But these are distinctly Scala takes on the topic. Especially ZIO, heavily relying subtyping and vairance, is very far from Haskell while still being pure FP. ZIO's "FP" library called "ZIO Prelude" totally revamps the "traditional" Type Class hierarchy, using Scala's intersection types feature. The name ("Prelude") is the only Haskellism there :) https://www.youtube.com/watch?v=OwmHgL9F_9Q https://zio.github.io/zio-prelude/docs/overview/overview_dia... https://github.com/zio/zio-prelude/

If you're interested in how Category theory and Algebra can inform the design of software, have a look at ZIO Prelude. https://github.com/zio/zio-prelude It's a brand new library for Scala that contains reusable mathematical structures. Still based on algebra and category theory, but it expresses them more or less differently than how they've been expressed in Haskell (and similar languages). For example, unlike Haskell (and Scala's own cats and ScalaZ), it doesn't present the "traditional" Functor -> Applicative -> Monad hierarchy. Instead, it presents the mathematical concepts in a more orthogonal and composable way. One example out of many, you don't have a Monad. You have two distinct structures: * Covariant functor, with typical map operation `map[A, B](f: A => B): F[A] => F[B]` * IdentityFlatten which has a flatten operation `flatte