📜 Récap’

Types Option et Result

• Types union avec 2 cases respectifs

  • Option<'T> : Some<'T> et None

  • Result<'T, 'E> : Ok<'T> et Error<'E>

• A quoi ils servent :

  • Modéliser absence de valeur et erreurs métier

  • Opérations partielles rendues totales tryXxx

    • Smart constructor tryCreate

• Comment on s'en sert :

  • Chaînage : map, bind, filter → ROP

  • Pattern matching

• Leurs bénéfices :

  • null free, Exception free → pas de guard polluant code

  • Rend logique métier et happy path + lisible

Computation expression (CE)

• Sucre syntaxique : syntaxe intérieure standard ou "bangée" (let!)

• Separation of Concerns : logique métier vs « machinerie »

• Compilateur fait lien avec builder

  • Objet stockant un état

  • Build une valeur en sortie, d'un type spécifique

• Imbricables mais pas faciles à combiner !

• Concepts théoriques sous-jacents

  • Monoïde → seq (d'éléments composables et avec un "zéro")

  • Monade → async, option, result

  • Applicative → validation/Result<'T, 'Err list>

• Librairies NuGet : FSharpPlus, FsToolkit, Expecto, Farmer, Saturn

Ressources complémentaires 🔗

Compositional IT (Isaac Abraham)

• Writing more succinct C# – in F#! (Part 2), Jul 2020

F# for Fun and Profit (Scott Wlaschin)

• The Option type, Jun 2012

• Making illegal states unrepresentable, Jan 2013

• Série de 11 articles sur les CE, Jan 2013

• Série de 7 articles sur monades 'n co, Aug 2015