The Future of Programming with Richard Eisenberg
About this episode
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:
Get every episode summarized
Each time Signals and Threads publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
Hosts & guests
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from Signals and Threads
Wrestling the world into rows with Eric Mannes
Signals and Threads
Building a data warehouse from scratch with Jacob Baskin
Signals and Threads
The Network as a Program with Nate Foster
Signals and Threads
Why Testing is Hard and How to Fix it with Will Wilson
Signals and Threads