Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
About this episode
Xavier Leroy discusses OCaml, functional programming, and formal verification in this insightful interview.
Xavier Leroy (creator of OCaml) is an expert in compilers, formal verification of software and functional programming. This interview should be an approachable resource if you're curious about formal verification of software since I was learning that on the fly during it. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The Kickstarter page for it: https://www.kickstarter.com/projects/ryanlpeterman/compose-simple-ergonomics-beautifully-done Podcast links: • YouTube: https://youtu.be/9Cswiqrq6So • Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835 • Transcript: https://www.developing.dev/p/creator-of-ocaml-functional-programming Thank you to this episode's sponsor for supporting my work: • WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://workos.com/ Timestamps: (00:00) Intro (00:43) What sets OCaml apart (04:39) OCaml vs Rust (07:57) Why is manual memory management more performant (11:21) Javascript vs OCaml (14:00) Famous Rob Pike quote (16:05) Type inference and how it works (22:12) What is formal…
Sponsors
WorkOS
More episodes of The Peterman Pod
- Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson
- Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman
- MIT Complexity Theorist: Why You Can Do Better Than “Optimal” On Leetcode & SAT | Ryan Williams
- OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh
- Google DeepMind Pre-Training Lead: How To Land a Job at a Frontier Lab | Vlad Feinberg
Explore listener stats, chart rankings, contacts and more on the The Peterman Pod podcast page.