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

🎙️ 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.

#95.src - OCaml: Le langage de tous les langages avec Didier Plaindoux

Liens évoqués pendant l'émission