https://mojo-molotov.github.io/from-ocarina-to-igor/fr/tags/fonctionnel/ Recent content in Fonctionnel on Ocarina — précis Hugo fr-FR Thu, 28 May 2026 21:02:53 +0200 https://mojo-molotov.github.io/from-ocarina-to-igor/fr/03-functional/ Wed, 20 May 2026 00:00:00 +0000 https://mojo-molotov.github.io/from-ocarina-to-igor/fr/03-functional/ <h1 id="chapitre-03programmation-fonctionnelle-avec-ocarina">Chapitre 03 — Programmation fonctionnelle avec Ocarina<a class="anchor" href="#chapitre-03programmation-fonctionnelle-avec-ocarina" data-pagefind-ignore="all">#</a></h1> <blockquote class='book-hint '> <p>Comment Ocarina <strong>applique</strong> la programmation fonctionnelle, et <strong>pourquoi</strong>. Ce chapitre est plus <em>transversal</em> que les autres : il revisite la mécanique du framework sous l&rsquo;angle FP.</p> </blockquote><h2 id="plan">Plan<a class="anchor" href="#plan" data-pagefind-ignore="all">#</a></h2> <table> <thead> <tr> <th style="text-align: center">#</th> <th>Fichier</th> <th>Sujet</th> </tr> </thead> <tbody> <tr> <td style="text-align: center">01</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/fr/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/fr/03-functional/02-closures-ioc/"><code>02-closures-ioc.md</code></a></td> <td>Closures comme primitive d&rsquo;inversion de contrôle.</td> </tr> <tr> <td style="text-align: center">03</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/fr/03-functional/03-lazy-evaluation/"><code>03-lazy-evaluation.md</code></a></td> <td>Paresse partout : 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/fr/03-functional/04-fold-reduce/"><code>04-fold-reduce.md</code></a></td> <td><code>reduce</code> (fold left) dans <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/fr/03-functional/05-declarative/"><code>05-declarative.md</code></a></td> <td>Programmation déclarative : un scénario <em>décrit</em>, n&rsquo;exécute pas.</td> </tr> <tr> <td style="text-align: center">06</td> <td><a href="https://mojo-molotov.github.io/from-ocarina-to-igor/fr/03-functional/06-pep-695-generics/"><code>06-pep-695-generics.md</code></a></td> <td>Generics PEP 695, <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/fr/03-functional/07-discriminated-unions-typeguards/"><code>07-discriminated-unions-typeguards.md</code></a></td> <td>Unions discriminées + <code>TypeGuard</code> + <code>@final</code> = unions « <em>sealed</em> ».</td> </tr> </tbody> </table> <h2 id="pourquoi-un-chapitre-dédié">Pourquoi un chapitre dédié<a class="anchor" href="#pourquoi-un-chapitre-d%c3%a9di%c3%a9" data-pagefind-ignore="all">#</a></h2> <p>Le code d&rsquo;Ocarina est petit, mais il <strong>incarne</strong> un nombre considérable de patterns FP. Ce chapitre est l&rsquo;occasion de les nommer, de les justifier, et de pointer où est-ce qu&rsquo;ils se manifestent dans le code.</p>