image/svg+xml
@chrilves' Archives
Posts
Playing with Probability in Scala 3
Les GADTs Par l'Exemple
GADTs By Use Cases
Proving Primality with GADTs
Recursion Schemes: the high-school introduction
Demystifying GADTs
Let's meet the charming fold family
How to make game in the browser thanks to ScalaJS
JSON to XML: the probably a tiny bit over engineered way
F-Algebra talk at ScalaIO 2017: Modéliser astucieusement vos données
Introduction to Types
Episode 1 - Why Types?
Episode 2 - Enumerations
Episode 3 - Products
Episode 4 - CoProducts
Episode 5 - Recursive Data Types
More
Github
LinkedIn
Twitter
Clear History
Built with
from
Grav
and
Hugo
Edit this page
F-Algebra talk at ScalaIO 2017: Modéliser astucieusement vos données
F-Algebra talk at ScalaIO 2017: Modéliser astucieusement vos données
I had the chance to present a talk about
F-Algebras
at
ScalaIO 2017
.
The Video
The Slides