![Taking Erlang to OCaml 5 (with Leandro Ostera) image](https://media.zencastr.com/cdn-cgi/image/width=640,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
Erlang wears three hats - it’s a language, it’s a platform, and it’s an approach to making software run reliably once it’s in production. Those last two are so interesting I sometimes wonder why those ideas haven’t been ported to every language going. How much work would it be?
This week we’re going to dig right down into that question with Leandro Ostera. He’s been working on Riot - a project to bring the best of Erlang’s runtime system and philosophy to OCaml. But why OCaml? Is it possible to marry together OCaml’s type system with Erlang’s dynamic dispatch systems? And what is it about the recent release of OCaml5 that makes the whole project easier?
–
Leandro’s Blog: https://www.abstractmachines.dev/
Why Typing Erlang is Hard: https://www.abstractmachines.dev/posts/am012-why-typing-erlang-is-hard/
Riot: https://riot.ml/
Riot source: https://github.com/riot-ml/riot
ReasonML: https://reasonml.github.io/
ReScript: https://rescript-lang.org/
Leandro on Twitter: https://twitter.com/leostera
Kris on Mastodon: http://mastodon.social/@krisajenkins
Kris on LinkedIn: https://www.linkedin.com/in/krisjenkins/
Kris on Twitter: https://twitter.com/krisajenkins
--
#podcast #softwaredevelopment #erlang #ocaml #softwaredesign
![Cuis Smalltalk and the History of Computing’s Future (with Juan Vuletich) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![The Inko Programming Language, and Life as a Language Designer (with Yorick Peterse) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![Extending Postgres for High-Performance Analytics (with Philippe Noël) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![ByteWax: Rust's Research Meets Python's Practicalities (with Dan Herrera) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![Mojo Lang - Tomorrow's High Performance Python? (with Chris Lattner) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![How Apache Pinot Achieves 200,000 Queries per Second (with Tim Berglund) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![Neovim: Creating, Curating and Customising your Ideal Editor (with TJ DeVries) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![Automate Your Way to Better Code: Advanced Property Testing (with Oskar Wickström) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![If You Want Better Code, Do It For Me (with Jonathan Schneider) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![Implementing Hardware-Friendly Databases (with DuckDB co-creator, Hannes Mühleisen) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)
![Verse, Haskell & Core Language Design (with Simon Peyton Jones) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/619e48a9649c44004c5a44e8/b48b05c0-4f7b-45fc-a5cd-6c27c1406f87.png)