The Future of Programming with Richard Eisenberg

Richard Eisenberg is one of the core maintainers of Haskell. He recently joined Jane Street’s Tools and Compilers team, where he hacks on the OCaml compiler. He and Ron discuss the powerful language feature that got him into PL design in the first place—dependent types—and its role in a world where AIs can (somewhat) competently write your code for you. They also discuss the differences between Haskell and OCaml; the perils of trying to make a language that works for everybody; and how best a company like Jane Street can collaborate with the open source community. You can find the transcript for this episode on our website. Some links to topics that came up in the discussion: Dependent types GHC Unboxed types in OCaml Language extensions in Haskell

You can listen to The Future of Programming with Richard Eisenberg online on Radio and Podcast. Open the player on this page to stream the available audio.

The Future of Programming with Richard Eisenberg is an episode from Signals and Threads by Jane Street.

This episode is 00:59:37 long.

This episode was published on May 18, 2023.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Signals and Threads when more episodes are available from the podcast feed.