https://mojo-molotov.github.io/from-ocarina-to-igor/tags/functional/ Recent content in Functional on Ocarina — manual Hugo en-US Thu, 28 May 2026 21:02:53 +0200 https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/ Wed, 20 May 2026 00:00:00 +0000 https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/ <h1 id="chapter-03functional-programming-with-ocarina">Chapter 03 — Functional programming with Ocarina<a class="anchor" href="#chapter-03functional-programming-with-ocarina" data-pagefind-ignore="all">#</a></h1> <blockquote class='book-hint '> <p>How Ocarina <strong>applies</strong> functional programming and <strong>why</strong>. This chapter is more <em>transversal</em> than the others — it revisits the framework&rsquo;s mechanics from an FP angle.</p> </blockquote><h2 id="outline">Outline<a class="anchor" href="#outline" data-pagefind-ignore="all">#</a></h2> <table> <thead> <tr> <th style="text-align: center">#</th> <th>File</th> <th>Topic</th> </tr> </thead> <tbody> <tr> <td style="text-align: center">01</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/01-effect-thunk-result/"><code>01-effect-thunk-result.md</code></a></td> <td><code>Effect</code>, <code>Thunk[T]</code>, <code>Result[T]</code>.</td> </tr> <tr> <td style="text-align: center">02</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/02-closures-ioc/"><code>02-closures-ioc.md</code></a></td> <td>Closures as the primitive of inversion of control.</td> </tr> <tr> <td style="text-align: center">03</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/03-lazy-evaluation/"><code>03-lazy-evaluation.md</code></a></td> <td>Laziness everywhere: ChainRunner, validate.execute, Watcher callback, lazy prefixes.</td> </tr> <tr> <td style="text-align: center">04</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/04-fold-reduce/"><code>04-fold-reduce.md</code></a></td> <td><code>reduce</code> (fold left) in <code>chain_actions</code>.</td> </tr> <tr> <td style="text-align: center">05</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/05-declarative/"><code>05-declarative.md</code></a></td> <td>Declarative programming: a scenario <em>describes</em>, doesn&rsquo;t execute.</td> </tr> <tr> <td style="text-align: center">06</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/06-pep-695-generics/"><code>06-pep-695-generics.md</code></a></td> <td>PEP 695 generics, <code>TypeVar bound</code>, <code>type X[T] = ...</code>.</td> </tr> <tr> <td style="text-align: center">07</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/03-functional/07-discriminated-unions-typeguards/"><code>07-discriminated-unions-typeguards.md</code></a></td> <td>Discriminated unions + <code>TypeGuard</code> + <code>@final</code> = &ldquo;<em>sealed</em>&rdquo; unions.</td> </tr> </tbody> </table> <h2 id="why-a-dedicated-chapter">Why a dedicated chapter<a class="anchor" href="#why-a-dedicated-chapter" data-pagefind-ignore="all">#</a></h2> <p>Ocarina&rsquo;s code is small but <strong>embodies</strong> a serious number of FP patterns. This chapter names them, justifies them, and points to where they live in the code.</p>