OCaml : Le langage de tous les langages
avec Didier Plaindoux
1 juin 2021 · 59 min
« un langage de prédilection pour créer des langages mais pas que. »
— Didier PlaindouxLes versions de cet épisode
Un épisode vit en plusieurs temps : la source, sa version compilée par un autre invité quelques semaines plus tard, puis son refactoring quelques années après.
De quoi on parle
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.