-- type lambda

README.md

@@ -130,4 +130,3 @@ I thought I knew Scala...
   - circe
   - shapeless
 - kafka streams processing
-- 

ce3/src/main/scala/fwd/ForwardReferenceProblem.scala

@@ -0,0 +1,29 @@
+package fwd
+
+object ForwardReferenceProblem extends App {
+
+  val x = y
+  val y = 5
+
+  println(s"x=$x")
+  println(s"y=$y")
+
+  /** compilation fails 1:
+    *
+    * def noProblem1() = {
+    *   val a = b
+    *   val b = 1
+    * }
+    *
+    */
+
+  /** compilation fails 1:
+    *
+    * def noProblem2() = for {
+    *   b <- Option(a)
+    *   a <- Option(1)
+    * } yield (a, b)
+    *
+    */
+
+}

ce3/src/main/scala/gas104/Htttp.scala

@@ -128,7 +128,7 @@ object Htttp {
       case Some(data) =>
         data.traverse_ { x: Row =>
           val r    = URow.from(x)
-          val line = (r.dateTime, r.counter, r.delta)
+          val line = (r.dateTime.toLocalDate, r.counter, r.delta)
           Sync[F].delay(pprint.pprintln(line))
         }
       case None       =>

plain2/src/main/scala/advanced/TypeLambda1.scala

@@ -96,6 +96,7 @@ object TypeLambda1 extends App {
 
   object solution22 {
     def foo2[F[_, _], B](f: Functor[({ type ab[C] = F[B, C] })#ab]) = ???
+    //                              =============================
   }
 
   object solution23 {

plain2/src/main/scala/advanced/TypeLambda3.scala

@@ -0,0 +1,28 @@
+package advanced
+
+object TypeLambda3 extends App {
+
+  // Functor has one `hole`
+  trait Functor[F[_]]
+
+  // MonadError has two `holes`
+  trait MonadError[F[_], E]
+
+  // Functor can be specified as a type bounds
+  class Repository1[F[_]: Functor]
+
+  // but MonadError can not
+
+  // we can introduce type alias
+  type MonadErrorThrowable[F[_]] = MonadError[F, Throwable]
+
+  // and use it
+  class Repository2[F[_]: MonadErrorThrowable]
+
+  // or use type lambda and not declare alias
+  class Repository3[F[_]: ({ type MET[f[_]] = MonadError[f, Throwable] })#MET]
+
+  // or use type lambda and not declare alias
+  class Repository4[F[_]: MonadError[*[_], Throwable]]
+
+}

project/CompilerOptions.scala

@@ -23,6 +23,7 @@ object CompilerOptions {
     warningsAsFatals, // ??? doesn't work as expected
     matchShouldBeExhaustive,
     lintDeprecation,
+    "-Xcheckinit",
     // "-Xlint:unsound-match",
     // "-Ypartial-unification", // by default since 2.13
     "-language:existentials",

repositories.md

@@ -0,0 +1,12 @@
+### repositories
+
+- https://github.com/alexr007/learning-scalajs2.git
+- https://github.com/alexr007/learning-scalajs3.git
+- https://github.com/alexr007/learning-fullstack.git
+- https://github.com/alexr007/learning-doodle.git
+- https://github.com/alexr007/learning-chartreuse.git
+- https://github.com/alexr007/learning-chartreuse.git
+- https://github.com/alexr007/learning-tyrian.git
+- https://github.com/alexr007/learning-haskell.git
+- https://github.com/alexr007/learning-rust.git
+-