Discord is now Scala’s main chat platform. Please join us at https://discord.com/invite/scala
that would be Free though, yeah
extensibility for one
the bit that was interesting to me was the type inference
first: the initial view was that you should use things like MonadState and MonadReader, as opposed to
MyDbAlg and MyHttpAlg
this is an evolution that happened in Haskell as well, although direct use of mtl typeclasses is still common
remember that this is way before scato
e.g.
MonadError cannot be refactored as a final tagless effect
it’s just a type parameter
the general name
algebra?
then I rephrase:
MonadError cannot be refactored as an algebra, because it has F[_] in contravariant position (and the algebra could not have an FFunctor, or FunctorK as cats calls it)
@lihaoyi it's a type parameter plus the idea of encoding languages as their interpreters. The business logic application of it is quite simple. In the context of DSLs more in general, there's more to that like optimisations and parsing. But even the basic idea looks simple, but papers discovering were very innovative. Hindsight is 20/20: the expression problem and having typed languages with no tags or GADTs were not solved problems before. It's so innovative that an OO paper that basically rediscovered the same thing (and named it object algebras), won a best paper award (
Extensibility for the masses)
e.g. I just had a use case for a BigQuery DSL which translates to json directly
I loathe to call that a data type
I would agree that is an algebra
@fommil Ah true, didn't think of that. The more precise question: is there any loop fusion happening on anything from the stdlib? My works codebase uses
Seq. I'm looking into mostly using directly List but I'm scared that it could make matters worse as it doesn't fuse and some of the collections hidden behind some of the Seq might do it.