Skip to content

Commit

Permalink
deploy: d79c906
Browse files Browse the repository at this point in the history
  • Loading branch information
noelwelsh committed Jul 2, 2023
1 parent 8264f8b commit 83760f3
Show file tree
Hide file tree
Showing 8 changed files with 45 additions and 47 deletions.
10 changes: 5 additions & 5 deletions animation/easing.html
Original file line number Diff line number Diff line change
Expand Up @@ -168,12 +168,12 @@ <h1 id="easing-functions" class="title">Easing Functions</h1>
.</span><span class="identifier">withRender</span><span>(</span><span class="identifier">r</span><span> =&gt; </span><span class="type-name">Image</span><span>.</span><span class="identifier">circle</span><span>(</span><span class="identifier">r</span><span>))
</span><span class="comment">// bubble: Reactor[Double] = Reactor(
// initial = 0.0,
// onMouseClickHandler = doodle.reactor.Reactor$$$Lambda$13930/0x0000000103b96840@34b21689,
// onMouseMoveHandler = doodle.reactor.Reactor$$$Lambda$13931/0x0000000103b97040@522abe3,
// onTickHandler = doodle.reactor.Reactor$$$Lambda$13935/0x0000000103b9f040@4c8514f,
// onMouseClickHandler = doodle.reactor.Reactor$$$Lambda$13926/0x0000000103b96840@60aacf64,
// onMouseMoveHandler = doodle.reactor.Reactor$$$Lambda$13927/0x0000000103b97040@28cca7bc,
// onTickHandler = doodle.reactor.Reactor$$$Lambda$13931/0x0000000103b9f040@31e256d6,
// tickRate = 100 milliseconds,
// renderHandler = repl.MdocSession$MdocApp$$Lambda$13937/0x0000000103b9d840@5378b4c4,
// stopHandler = doodle.reactor.Reactor$$$Lambda$13936/0x0000000103b9e040@21701575
// renderHandler = repl.MdocSession$MdocApp$$Lambda$13933/0x0000000103b9d840@6beb8870,
// stopHandler = doodle.reactor.Reactor$$$Lambda$13932/0x0000000103b9e040@4fd07ca3
// )</span></code></pre>
<div class="flex flex-row justify-between">
<a class="pageNavigation" href="../sequences/">←Shapes, Sequences, and Stars</a> <a class="pageNavigation" href="reactor.html">Reactors→</a>
Expand Down
6 changes: 3 additions & 3 deletions flowers/functions.html
Original file line number Diff line number Diff line change
Expand Up @@ -346,17 +346,17 @@ <h4 id="exercise-function-literals">Exercise: Function Literals</h4>
<div class="solution-body">
<p>The first function is</p>
<pre><code class="nohighlight"><span>(</span><span class="identifier">x</span><span>: </span><span class="type-name">Int</span><span>) =&gt; </span><span class="identifier">x</span><span> * </span><span class="identifier">x</span><span>
</span><span class="comment">// res10: Function1[Int, Int] = repl.MdocSession$MdocApp0$$Lambda$14258/0x0000000103c94040@1c455437</span></code></pre>
</span><span class="comment">// res10: Function1[Int, Int] = repl.MdocSession$MdocApp0$$Lambda$14254/0x0000000103c93040@ece0dd</span></code></pre>
<p>The second is</p>
<pre><code class="nohighlight"><span>(</span><span class="identifier">c</span><span>: </span><span class="type-name">Color</span><span>) =&gt; </span><span class="identifier">c</span><span>.</span><span class="identifier">spin</span><span>(</span><span class="number-literal">15</span><span>.</span><span class="identifier">degrees</span><span>)
</span><span class="comment">// res11: Function1[Color, HSLA] = repl.MdocSession$MdocApp0$$Lambda$14259/0x0000000103c93840@641a38f6</span></code></pre>
</span><span class="comment">// res11: Function1[Color, HSLA] = repl.MdocSession$MdocApp0$$Lambda$14255/0x0000000103c92040@105106dd</span></code></pre>
<p>The third is</p>
<pre><code class="nohighlight"><span>(</span><span class="identifier">image</span><span>: </span><span class="type-name">Image</span><span>) =&gt;
</span><span class="identifier">image</span><span>.</span><span class="identifier">beside</span><span>(</span><span class="identifier">image</span><span>.</span><span class="identifier">rotate</span><span>(</span><span class="number-literal">90</span><span>.</span><span class="identifier">degrees</span><span>))
.</span><span class="identifier">beside</span><span>(</span><span class="identifier">image</span><span>.</span><span class="identifier">rotate</span><span>(</span><span class="number-literal">180</span><span>.</span><span class="identifier">degrees</span><span>))
.</span><span class="identifier">beside</span><span>(</span><span class="identifier">image</span><span>.</span><span class="identifier">rotate</span><span>(</span><span class="number-literal">270</span><span>.</span><span class="identifier">degrees</span><span>))
.</span><span class="identifier">beside</span><span>(</span><span class="identifier">image</span><span>.</span><span class="identifier">rotate</span><span>(</span><span class="number-literal">360</span><span>.</span><span class="identifier">degrees</span><span>))
</span><span class="comment">// res12: Function1[Image, Image] = repl.MdocSession$MdocApp0$$Lambda$14260/0x0000000103c92840@69dd0d04</span></code></pre>
</span><span class="comment">// res12: Function1[Image, Image] = repl.MdocSession$MdocApp0$$Lambda$14256/0x0000000103c91840@1c7ac3e9</span></code></pre>
</div>
</div>
<div class="exercise">
Expand Down
16 changes: 8 additions & 8 deletions generative/flatmap.html
Original file line number Diff line number Diff line change
Expand Up @@ -355,15 +355,15 @@ <h4 id="randomness-and-randomness" class="section">Randomness and Randomness {-}
// c = FlatMapped(
// c = FlatMapped(
// c = Suspend(a = RDouble),
// f = cats.free.Free$$Lambda$14321/0x0000000103cd3040@73a1e5a0
// f = cats.free.Free$$Lambda$14317/0x0000000103caf040@148747d
// ),
// f = cats.free.Free$$Lambda$14321/0x0000000103cd3040@7664d872
// f = cats.free.Free$$Lambda$14317/0x0000000103caf040@3f8cd643
// ),
// f = cats.free.Free$$Lambda$14321/0x0000000103cd3040@3fa4b166
// f = cats.free.Free$$Lambda$14317/0x0000000103caf040@1c680713
// ),
// f = repl.MdocSession$MdocApp5$$Lambda$14338/0x0000000103cdd040@796bd6
// f = repl.MdocSession$MdocApp5$$Lambda$14334/0x0000000103ce1840@5ac23f62
// ),
// f = repl.MdocSession$MdocApp5$$Lambda$14341/0x0000000103cae040@7c09029c
// f = repl.MdocSession$MdocApp5$$Lambda$14337/0x0000000103ce4040@18eb53db
// )</span></code></pre>
<p>which makes it clearer that we&#39;re generating three different circles.
&lt;/div&gt;</p>
Expand All @@ -384,17 +384,17 @@ <h4 id="colored-boxes" class="section">Colored Boxes {-}</h4>
</span><span class="type-name">Random</span><span>.</span><span class="identifier">double</span><span>.</span><span class="identifier">map</span><span>(</span><span class="identifier">x</span><span> =&gt; </span><span class="identifier">x</span><span>.</span><span class="identifier">turns</span><span>)
</span><span class="comment">// randomAngle: Free[[A &gt;: Nothing &lt;: Any] =&gt; RandomOp[A], Angle] = FlatMapped(
// c = Suspend(a = RDouble),
// f = cats.free.Free$$Lambda$14321/0x0000000103cd3040@2cfef227
// f = cats.free.Free$$Lambda$14317/0x0000000103caf040@410ca04b
// )
</span><span>
</span><span class="keyword">val</span><span> </span><span class="identifier">randomColor</span><span>: </span><span class="type-name">Random</span><span>[</span><span class="type-name">Color</span><span>] =
</span><span class="identifier">randomAngle</span><span>.</span><span class="identifier">map</span><span>(</span><span class="identifier">hue</span><span> =&gt; </span><span class="type-name">Color</span><span>.</span><span class="identifier">hsl</span><span>(</span><span class="identifier">hue</span><span>, </span><span class="number-literal">0.7</span><span>, </span><span class="number-literal">0.7</span><span>))
</span><span class="comment">// randomColor: Free[[A &gt;: Nothing &lt;: Any] =&gt; RandomOp[A], Color] = FlatMapped(
// c = FlatMapped(
// c = Suspend(a = RDouble),
// f = cats.free.Free$$Lambda$14321/0x0000000103cd3040@2cfef227
// f = cats.free.Free$$Lambda$14317/0x0000000103caf040@410ca04b
// ),
// f = cats.free.Free$$Lambda$14321/0x0000000103cd3040@364b495f
// f = cats.free.Free$$Lambda$14317/0x0000000103caf040@1d0077e6
// )
</span><span>
</span><span class="keyword">def</span><span> </span><span class="declaration-name">coloredRectangle</span><span>(</span><span class="identifier">color</span><span>: </span><span class="type-name">Color</span><span>): </span><span class="type-name">Image</span><span> =
Expand Down
16 changes: 8 additions & 8 deletions generative/generative.html
Original file line number Diff line number Diff line change
Expand Up @@ -191,29 +191,29 @@ <h1 id="generative-art" class="title">Generative Art</h1>
</tbody>
</table>
<pre><code class="nohighlight"><span class="identifier">math</span><span>.</span><span class="identifier">random</span><span>
</span><span class="comment">// res0: Double = 0.7735217308516175
</span><span class="comment">// res0: Double = 0.778798638508099
</span><span class="identifier">math</span><span>.</span><span class="identifier">random</span><span>
</span><span class="comment">// res1: Double = 0.8292246792110027</span></code></pre>
</span><span class="comment">// res1: Double = 0.7622927751021928</span></code></pre>
<p>Given <code>math.random</code> we could produce a method that returns a random <code>Angle</code> like so.</p>
<pre><code class="nohighlight"><span class="keyword">def</span><span> </span><span class="declaration-name">randomAngle</span><span>: </span><span class="type-name">Angle</span><span> =
</span><span class="identifier">math</span><span>.</span><span class="identifier">random</span><span>.</span><span class="identifier">turns</span><span>

</span><span class="identifier">randomAngle</span><span>
</span><span class="comment">// res2: Angle = Angle(2.534852637505375)
</span><span class="comment">// res2: Angle = Angle(2.6238036213012323)
</span><span class="identifier">randomAngle</span><span>
</span><span class="comment">// res3: Angle = Angle(2.74417189637341)</span></code></pre>
</span><span class="comment">// res3: Angle = Angle(2.9526942293831238)</span></code></pre>
<p>Why might we not want to do this? What principle does this break?</p>
<p>&lt;div class=&quot;solution&quot;&gt;
Generating random numbers in this way breaks substitution. Remember substitution says wherever we see an expression we should be able to substitute the value it evaluates to without changing the meaning of the program. Concretely, this means</p>
<pre><code class="nohighlight"><span class="keyword">val</span><span> </span><span class="identifier">result1</span><span> = </span><span class="identifier">randomAngle</span><span>
</span><span class="comment">// result1: Angle = Angle(3.1959634321848363)
</span><span class="comment">// result1: Angle = Angle(0.9168988221492637)
</span><span class="keyword">val</span><span> </span><span class="identifier">result2</span><span> = </span><span class="identifier">randomAngle</span><span>
</span><span class="comment">// result2: Angle = Angle(4.848399652811157)</span></code></pre>
</span><span class="comment">// result2: Angle = Angle(4.521752264021588)</span></code></pre>
<p>and </p>
<pre><code class="nohighlight"><span class="keyword">val</span><span> </span><span class="identifier">result1</span><span> = </span><span class="identifier">randomAngle</span><span>
</span><span class="comment">// result1: Angle = Angle(1.4828184348800912)
</span><span class="comment">// result1: Angle = Angle(2.2145044049455134)
</span><span class="keyword">val</span><span> </span><span class="identifier">result2</span><span> = </span><span class="identifier">result1</span><span>
</span><span class="comment">// result2: Angle = Angle(1.4828184348800912)</span></code></pre>
</span><span class="comment">// result2: Angle = Angle(2.2145044049455134)</span></code></pre>
<p>should be the same program and clearly they are not.
&lt;/div&gt;</p>
<p>What should we do? Suffer the slings and arrows of outrageous computational models, or take arms against a sea of side-effects, and by opposing end them! There&#39;s really only one choice.</p>
Expand Down
6 changes: 3 additions & 3 deletions generative/random.html
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,7 @@ <h1 id="randomness-without-effect" class="title">Randomness without Effect</h1>
// )</span></code></pre>
<p>No random numbers are actually created until we call the <code>run</code> method.</p>
<pre><code class="nohighlight"><span class="identifier">randomDouble</span><span>.</span><span class="identifier">run</span><span>
</span><span class="comment">// res0: Double = 0.2273889681178265</span></code></pre>
</span><span class="comment">// res0: Double = 0.26122829823106186</span></code></pre>
<p>The type <code>Random[Double]</code> indicates we have something that will produce a random <code>Double</code> when we <code>run</code> it. Just like with <code>Image</code> and <code>draw</code>, substitution holds with <code>Random</code> up until the point we call <code>run</code>.</p>
<p>Table Table generative:random shows some of the ways to construct <code>Random</code> values.</p>
<hr>
Expand Down Expand Up @@ -214,9 +214,9 @@ <h3 id="composing-random" class="section">Composing Random</h3>
</span><span class="type-name">Random</span><span>.</span><span class="identifier">double</span><span>.</span><span class="identifier">map</span><span>(</span><span class="identifier">x</span><span> =&gt; </span><span class="identifier">x</span><span>.</span><span class="identifier">turns</span><span>)</span></code></pre>
<p>When we <code>run</code> <code>RandomAngle</code> we can generate randomly created <code>Angle</code></p>
<pre><code class="nohighlight"><span class="identifier">randomAngle</span><span>.</span><span class="identifier">run</span><span>
</span><span class="comment">// res1: Angle = Angle(4.527281821710773)
</span><span class="comment">// res1: Angle = Angle(3.7029679286272037)
</span><span class="identifier">randomAngle</span><span>.</span><span class="identifier">run</span><span>
</span><span class="comment">// res2: Angle = Angle(2.8648013432708535)</span></code></pre>
</span><span class="comment">// res2: Angle = Angle(4.109491633058895)</span></code></pre>

<h3 id="exercises" class="section">Exercises {-}</h3>

Expand Down
8 changes: 4 additions & 4 deletions main.js
Original file line number Diff line number Diff line change
Expand Up @@ -14118,6 +14118,10 @@ $c_Lpolygons_Creative$.prototype.curvygonExercise__T__V = (function(id) {
var runtime = $m_Lcats_effect_unsafe_IORuntime$().global__Lcats_effect_unsafe_IORuntime();
$f_Ldoodle_interact_animation_Transducer__animate__O__Ldoodle_interact_effect_AnimationRenderer__Ldoodle_effect_Renderer__Ldoodle_interact_algebra_Redraw__s_$less$colon$less__Lcats_effect_unsafe_IORuntime__V(this$22, frame, a, e, r, ev, runtime)
});
$c_Lpolygons_Creative$.prototype.spiralExercise = (function(arg) {
var prep0 = $as_T(arg);
this.spiralExercise__T__V(prep0)
});
$c_Lpolygons_Creative$.prototype.bezierCurveAnimation = (function(arg) {
var prep0 = $as_T(arg);
this.bezierCurveAnimation__T__V(prep0)
Expand All @@ -14130,10 +14134,6 @@ $c_Lpolygons_Creative$.prototype.starPolygonConstruction = (function(arg) {
var prep0 = $as_T(arg);
this.starPolygonConstruction__T__V(prep0)
});
$c_Lpolygons_Creative$.prototype.spiralExercise = (function(arg) {
var prep0 = $as_T(arg);
this.spiralExercise__T__V(prep0)
});
$c_Lpolygons_Creative$.prototype.starPolygonExercise = (function(arg) {
var prep0 = $as_T(arg);
this.starPolygonExercise__T__V(prep0)
Expand Down
2 changes: 1 addition & 1 deletion main.js.map

Large diffs are not rendered by default.

Loading

0 comments on commit 83760f3

Please sign in to comment.