Haskell : étonnamment procédural ?

2025-01-19

Cet article remet en question les idées reçues sur Haskell, en affirmant qu'il excelle en tant que langage procédural. Il explore la manière dont Haskell traite les effets secondaires comme des valeurs de première classe, explique le mécanisme sous-jacent des blocs `do` et montre comment utiliser des fonctions comme `pure`, `fmap` et `liftA2` pour les manipuler. L'auteur présente `sequenceA` et `traverse` pour gérer les collections d'effets secondaires et illustre comment ces fonctionnalités permettent une métaprogrammation efficace. Un exemple complexe met en évidence les points forts de Haskell dans la gestion de l'état et de la mise en cache, en le comparant aux limitations d'autres langages. L'article explore également des concepts avancés comme le monad `State` pour un meilleur contrôle et des résultats en streaming.

Lire plus
Développement Effets secondaires

Le critère de Kelly : une approche mathématique des décisions d’assurance

2024-12-21

Cet article explore comment le critère de Kelly peut être utilisé pour prendre des décisions rationnelles concernant les assurances. L’auteur réfute les idées fausses courantes sur l’assurance, en affirmant qu’il s’agit d’un problème mathématique, et non philosophique. L’idée principale est que l’assurance permet d’éviter de fortes baisses de richesse, accélérant ainsi la croissance des intérêts composés. Une formule est présentée pour calculer la valeur (V) de l’assurance, en tenant compte de la richesse actuelle, de la prime, de la probabilité d’accident et du coût. Des exemples d’assurance moto et d’assurance hélicoptère illustrent les calculs et l’impact de la franchise. L’auteur explique comment les compagnies d’assurance réalisent des bénéfices et la relativité des coûts.

Lire plus