Learning Scala 3. Notice type projection + context bound in monadWriter trait Monoid[A] { def zero: A def append(a1: A, a2: A): A } trait Monad[F[_]] { def unit[A](a: A): F[A] def flatMap[A, B](fa: F[A])(f: A => F[B]): F[B] def map[A, B](fa: F[A])(f: A => B): F[B] = { flatMap(fa)(a => unit(f(a))) } } given… Read More Scala 3. Context bound and type lambda

Reading "Learn You a Haskell for Great Good" and trying to understand how Haskell concepts of the book may be written in Scala 3. chapter 11 mentions "partially applied type constructors" in section about Functions as Functors: Another instance of Functor that we’ve been dealing with all along but didn’t know was a Functor is… Read More Partially applied type constructor in Scala 3?