Salut,
Ça fait un moment que je m'intéresse à Haskell. Pendant mon apprentissage, j'ai rencontré des théories intéressantes, mais je trouve qu'il manque de ressources sur ces sujets.
Sujet: L'isomorphisme Curry-Howard.
Présentation du sujet: Il s'agit d'une analogie entre les types et les théorèmes. L'isomorphisme Curry-Howard permet de prouver des théorèmes à l'aide de langages comme Haskell, Agda ou Idris.
Pourquoi un tutoriel: Parce que qu'il manque de ressources françaises sur internet, et parce que je vois de plus en plus de gens en parler.
Sujet: L'inférence de types (et l'inférence de Hindley-Milner)
Présentation du sujet: L'inférence de types est l'art de déduire le type le plus précis d'une valeur. L'inférence de Hindley-Milner est un groupe de règles permettant d'inférer des valeurs dans des langages purement fonctionnels.
Pourquoi un tutoriel: Parce que les langages implémentant l'inférence de types sont de plus en plus populaire, car elle est implémentée dans des langages modernes comme Swift.