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 Background
01:37 How Leandro got involved with OCaml
02:50 What the heck is Idris???
07:03 When Leandro started working with OCaml
11:34 ReasonML
15:48 The Riot Library and OCaml issues
18:00 Type Inference in OCaml
23:10 What allowed Riot to move so fast
24:17 The ecosystem of a language
28:14 Is Riot a Concurrency Library or a Web Framework?
31:01 Goroutines refresher
33:02 How Riot implements the actor-model
38:34 Cooperative Scheduling vs Preemptive Scheduling
41:30 How to fix routine blocking
43: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
Dateline NBC
Current and classic episodes, featuring compelling true-crime mysteries, powerful documentaries and in-depth investigations.
The Nikki Glaser Podcast
Every week comedian and infamous roaster Nikki Glaser provides a fun, fast-paced, and brutally honest look into current pop-culture and her own personal life.
Stuff You Should Know
If you've ever wanted to know about champagne, satanism, the Stonewall Uprising, chaos theory, LSD, El Nino, true crime and Rosa Parks, then look no further. Josh and Chuck have you covered.