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

#95.src - OCaml: Le langage de tous les langages avec 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 ...

IFTTD - If This Then Dev

June 1, 202158m 36s

Audio is streamed directly from the publisher (audio.audiomeans.fr) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.

Show Notes


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

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

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

Topics

computer programmingtechnologyTECHdev