"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.

Liens évoqués pendant l'émission

Site officiel

Ressources à propos d'OCaml

Episode IFTTD sur la programmation fonctionnelle avec Frederic Cabestre

MirageOS

Retrouvez tous nos épisodes sur notre site https://ifttd.io/listes-des-episodes/

MCP://IFTTD

Grande nouvelle, ce podcast t'a rendu meilleur.e dev, tu peux maintenant rendre ton IA meilleure aussi !

Avec le MCP IFTTD, ton Cursor ou Claude Code va enfin pouvoir utiliser toute l'expertise de ce podcast.

Va tester sur mcp.ifttd.io et pour les 50 premiers, le code IFTTD3M offre 3 mois gratuits !

🎙️ Soutenez le podcast If This Then Dev ! 🎙️ Chaque contribution aide à maintenir et améliorer nos épisodes. Cliquez ici pour nous soutenir sur Tipeee 🙏

Hébergé par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.

It Did Not Start with JFK Volume II: The Decades of Events That Led to the Assassination of John F Kennedy with Author Walter Herbst. (2022)