Tous les épisodes qui parlent d'un langage, d'un framework ou d'une solution pour nous les devs
95
Didier Plaindoux
un langage de prédilection pour créer des langages mais pas que ...
Le D.E.V. de la semaine est Didier Plaindoux, fondateur de Fungus. Didier vient nous parler de Ocaml, le langage qui combine une approche Objet, fonctionnelle et modulaire. Et qui le fait tellement bien que OCaml est souvent utilisé pour créer d’autres langages (y compris lui-même) ! Nous parlons à plusieurs moments de l’apport de la synthèse de type chez Ocaml, signe de la puissance de son approche ! Didier nous parle aussi de l’approche très formelle et donc mathématique de OCaml.