In today’s episode, we bring Leandro Ostera, a seasoned software engineer, who’s currently leading the OCaml build system team, with the mission of making OCaml SaaS ready! Join us as this episode is packed with a variety of topics, where we mainly focus on the OCaml ecosystem, compare it to other languages and frameworks, but also dabble into very obscure topics such as Idris (hint: it’s a programming language), and explore concepts such as routine blocking, scheduling, types, and other issues. Learn back-end development - https://boot.dev Listen on your favorite podcast player: https://www.backendbanter.fm Check out Riot: https://riot.ml/ Leandro's Twitch: https://www.twitch.tv/leostera Leandro's Twitter/X: https://twitter.com/leostera Timestamps: 00:28 Leandro's Background01:37 How Leandro got involved with OCaml02:50 What the heck is Idris???07:03 When Leandro started working with OCaml11:34 ReasonML15:48 The Riot Library and OCaml issues18:00 Type Inference in OCaml23:10 What allowed Riot to move so fast24:17 The ecosystem of a language28:14 Is Riot a Concurrency Library or a Web Framework?31:01 Goroutines refresher33:02 How Riot implements the actor-model38:34 Cooperative Scheduling vs Preemptive Scheduling41:30 How to fix routine blocking43:14 What has Leandro and other contributers shipped?46:25 How does Leandro manage his time to work on all of these projects?49:45 Where to find Leandro