Question about some advanced types

This page summarizes the projects mentioned and recommended in the original post on /r/scala

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • Onboard AI - ChatGPT with full context of any GitHub repo.
  • WorkOS - The modern API for authentication & user identity.
  • cats-effect

    The pure asynchronous runtime for Scala

    You want Kernmantle, which quite honestly shouldn't be hard to implement around Cats and cats-effect. In particular, although Kernmantle doesn't require the use of the Arrow typeclass, there happen to be Arrow (actually ArrowChoice) instances for both Function1 from the standard library and Kleisli from Cats itself, given a Monad instance for the Kleilsi's F[_] type parameter. In other words, we should be able to port Kernmantle from Haskell to Scala (with the Typelevel ecosystem) and instantly be able to use pretty much anything else from the Typelevel ecosystem, or wrapped with it, in our workflow graphs. Pure functions, monadic functions, applicative functions, GADTs with hand-written interpreters, any of it. I think this would be eminently worth doing.

  • cats

    Lightweight, modular, and extensible library for functional programming.

    You want Kernmantle, which quite honestly shouldn't be hard to implement around Cats and cats-effect. In particular, although Kernmantle doesn't require the use of the Arrow typeclass, there happen to be Arrow (actually ArrowChoice) instances for both Function1 from the standard library and Kleisli from Cats itself, given a Monad instance for the Kleilsi's F[_] type parameter. In other words, we should be able to port Kernmantle from Haskell to Scala (with the Typelevel ecosystem) and instantly be able to use pretty much anything else from the Typelevel ecosystem, or wrapped with it, in our workflow graphs. Pure functions, monadic functions, applicative functions, GADTs with hand-written interpreters, any of it. I think this would be eminently worth doing.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  • If I understand correctly, it should be easier if you can use Scala 3. I played around with GADTs in Scala 3, they're much more ergonomic than Scala 2 https://github.com/massimosiani/type-driven-development-scala

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts