polished content v3

Krever · Oct 8, 2024 · 78ad30f · 78ad30f
1 parent 4adc614
commit 78ad30f
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 15 deletions.
diff --git a/2024-10-art-of-scala/resources/cool-flork-meme-vector-illustration_622487-2016.avif b/2024-10-art-of-scala/resources/cool-flork-meme-vector-illustration_622487-2016.avif
diff --git a/2024-10-art-of-scala/slides.html b/2024-10-art-of-scala/slides.html
@@ -301,7 +301,7 @@ <h2>Higher-Kinded <br/> Data</h2>
 
 # Cool?
 
-[TODO some funny pic]
+<img src="resources/cool-flork-meme-vector-illustration_622487-2016.avif">
 
 ----
 
@@ -401,8 +401,6 @@ <h2>Higher-Kinded <br/> Data</h2>
 
 ### Rule conditions
 
-<pre style="width: fit-content"><code class="hljs scala">Input[[t] =>> Expr[t => Boolean]]</code></pre>
-
 ```scala [1-4|5-8|10]
 object IsPositive extends Expr[Int => Boolean] {
     def evaluate: Int => Boolean = _ > 0
@@ -421,6 +419,8 @@ <h2>Higher-Kinded <br/> Data</h2>
 
 ### Decision Input
 
+Values passed during evaluation
+
 <pre style="width: fit-content"><code class="hljs scala">Input[[t] =>> t]</code></pre>
 
 ```scala [3|4|6]
@@ -556,7 +556,9 @@ <h2>Higher-Kinded <br/> Data</h2>
 ```scala
 def pure[A[_]](f: [t] => () => A[t]): Data[A]
 ```
-```scala [4-6]
+<div class="fragment">
+
+```scala [|4-6]
 object Rule {
     def default[Input[_[_]]: HKD, Output[_[_]]: HKD](output: Output[OutputValue]): Rule[Input, Output] = {
         Rule(
@@ -569,6 +571,8 @@ <h2>Higher-Kinded <br/> Data</h2>
 }
 ```
 
+</div>
+
 ++++
 
 
@@ -580,7 +584,9 @@ <h2>Higher-Kinded <br/> Data</h2>
     def mapK[B[_]](f: [t] => A[t] => B[t]): Data[B]
 }
 ```
-```scala [3,6]
+<div class="fragment">
+
+```scala [|3|6]
 class Rule[..., Output[_[_]]: HKD](...) {
     def evaluateOutput(): Output[Value] = {
         output.mapK([t] => expr => expr.evaluate)
@@ -591,33 +597,36 @@ <h2>Higher-Kinded <br/> Data</h2>
 }
 ```
 
+</div>
+
 
 ++++
 
 
 ### `HKD.map2`
 
 Merge two objects field by field
-```scala
+```scala [|2,3|5]
 def map2[A[_], B[_], C[_]](
     dataA: Data[A],
     dataB: Data[B]
 )(
     f: [t] => (A[t], B[t]) => C[t],
 ): Data[C]
 ```
-```scala [3-6]
+<div class="fragment">
+
+```scala [2|3-6]
 class Rule[..., Output[_[_]]: HKD](...) {
-  def evaluate(in: Input[Value]) = {
-    val evaluated: Input[Const[Boolean]]  =
-      HKD.map2(matching, in)(
-        [t] => (expr, value) => expr.evaluate(value)
-      )
-    ...
-  }
+  def evaluate(in: Input[Value]): Input[Const[Boolean]] =
+    HKD.map2(matching, in)(
+      [t] => (expr, value) => expr.evaluate(value)
+    )
 }
 ```
 
+</div>
+
 ++++
 
 
@@ -754,7 +763,7 @@ <h2>Higher-Kinded <br/> Data</h2>
 
 ```scala
 // Scala 3
-val foo: Context ?=> Int => [A]
+val foo: Context ?=> Int => String
 
 // Scala 2
 def foo(implicit ctx: Context): Int