lecture 10: fix typo in definition of foldl'

This commit is contained in:
Joel Kaasinen
2023-03-14 08:50:44 +02:00
parent c9e2b21556
commit 03ed00e6f8
+1 -1
View File
@@ -1357,7 +1357,7 @@ square ==> * ==> * ==> 16
<div class="sourceCode" id="cb93"><pre class="sourceCode haskell"><code class="sourceCode haskell"><span id="cb93-1"><a href="#cb93-1" aria-hidden="true" tabindex="-1"></a><span class="ot">foldl&#39; ::</span> (a <span class="ot">-&gt;</span> b <span class="ot">-&gt;</span> a) <span class="ot">-&gt;</span> a <span class="ot">-&gt;</span> [b] <span class="ot">-&gt;</span> a</span>
<span id="cb93-2"><a href="#cb93-2" aria-hidden="true" tabindex="-1"></a>foldl&#39; f z [] <span class="ot">=</span> z</span>
<span id="cb93-3"><a href="#cb93-3" aria-hidden="true" tabindex="-1"></a>foldl&#39; f z (x<span class="op">:</span>xs) <span class="ot">=</span> <span class="kw">let</span> z&#39; <span class="ot">=</span> f z x</span>
<span id="cb93-4"><a href="#cb93-4" aria-hidden="true" tabindex="-1"></a> <span class="kw">in</span> <span class="fu">seq</span> z&#39; (<span class="fu">foldl</span> f z&#39; xs)</span></code></pre></div>
<span id="cb93-4"><a href="#cb93-4" aria-hidden="true" tabindex="-1"></a> <span class="kw">in</span> <span class="fu">seq</span> z&#39; (foldl&#39; f z&#39; xs)</span></code></pre></div>
<div class="sourceCode" id="cb94"><pre class="sourceCode haskell"><code class="sourceCode haskell"><span id="cb94-1"><a href="#cb94-1" aria-hidden="true" tabindex="-1"></a> foldl&#39; (<span class="op">+</span>) <span class="dv">0</span> [<span class="dv">1</span>,<span class="dv">2</span>,<span class="dv">3</span>]</span>
<span id="cb94-2"><a href="#cb94-2" aria-hidden="true" tabindex="-1"></a><span class="op">==&gt;</span> <span class="fu">seq</span> (<span class="dv">0</span><span class="op">+</span><span class="dv">1</span>) (foldl&#39; (<span class="op">+</span>) (<span class="dv">0</span><span class="op">+</span><span class="dv">1</span>) [<span class="dv">2</span>,<span class="dv">3</span>]) <span class="co">-- seq forces first argument</span></span>
<span id="cb94-3"><a href="#cb94-3" aria-hidden="true" tabindex="-1"></a> <span class="op">|</span> <span class="op">|</span></span>