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

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

Jun 01, 202159 min
--:--
--:--
Download Metacast podcast app
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more

Episode description


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

Archives | Site | Boutique | TikTok | Discord | Twitter | LinkedIn | Instagram | Youtube | Twitch | Job Board |

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

For the best experience, listen in Metacast app for iOS or Android