@chrilves' Archives
Posts
Articles about programming, gaming and maths.
- A Theory about Dishonored and Prey
- 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.
Slides
Here are the slides of the talks/workshops i gave:
- Kuzh: Zero-Knowledge Voting in Scala and Rust (Scala IO 2024)
- AutoBatch
- The Prime Game
- The Slimetail Game
- Not Given Yet: Converting JSON to XML: The overengineered way
- Elm Meetup: Introduction to Monads via Random Generators
- PSUG Talk - Recursion Scheems Introduction
- PSUG && ScalaIO 2018 - Workshop on ScalaJS
- PSUG && ScalaIO 2017 - Talk on F-Algebras