@chrilves' Archives

Posts

Articles about programming, game design and maths.

• 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

A short and informal introduction to type theory.

• Episode 1 - Why Types?
• Episode 2 - Enumerations
• Episode 3 - Products
• Episode 4 - CoProducts
• Episode 5 - Recursive Data Types