Chapitre 03 — Programmation fonctionnelle avec Ocarina#
Comment Ocarina applique la programmation fonctionnelle, et pourquoi. Ce chapitre est plus transversal que les autres : il revisite la mécanique du framework sous l’angle FP.
Plan#
| # | Fichier | Sujet |
|---|---|---|
| 01 | 01-effect-thunk-result.md | Effect, Thunk[T], Result[T]. |
| 02 | 02-closures-ioc.md | Closures comme primitive d’inversion de contrôle. |
| 03 | 03-lazy-evaluation.md | Paresse partout : ChainRunner, validate.execute, Watcher callback, lazy prefixes. |
| 04 | 04-fold-reduce.md | reduce (fold left) dans chain_actions. |
| 05 | 05-declarative.md | Programmation déclarative : un scénario décrit, n’exécute pas. |
| 06 | 06-pep-695-generics.md | Generics PEP 695, TypeVar bound, type X[T] = .... |
| 07 | 07-discriminated-unions-typeguards.md | Unions discriminées + TypeGuard + @final = unions « sealed ». |
Pourquoi un chapitre dédié#
Le code d’Ocarina est petit, mais il incarne un nombre considérable de patterns FP. Ce chapitre est l’occasion de les nommer, de les justifier, et de pointer où est-ce qu’ils se manifestent dans le code.
Citation du Holy Book :
Tordre l’implémentation de ROP (Railway Oriented Programming) d’Ocarina jusqu’à lui en faire perdre tout son sens, puisqu’ils ne savaient même pas ce que signifie ROP, … M’imposer leur incompréhension de l’évaluation paresseuse et de l’IoC comme des vérités absolues, … M’expliquer ce que sont la programmation impérative et déclarative en racontant n’importe quoi, …