Richard Eisenberg on Dependent Types, OCaml, and AI-Assisted Programming

Voici la transcription originale de la vidéo, telle quelle et non relue. Le texte intégral remanié, le résumé et les traductions sont sur la page de l'article.