Search a title or topic

Over 20 million podcasts, powered by 

Player FM logo
Artwork

Content provided by Jane Street. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Jane Street or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
Player FM - Podcast App
Go offline with the Player FM app!

The Future of Programming with Richard Eisenberg

59:37
 
Share
 

Manage episode 363680632 series 2784495
Content provided by Jane Street. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Jane Street or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.

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:

  continue reading

24 episodes

Artwork
iconShare
 
Manage episode 363680632 series 2784495
Content provided by Jane Street. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Jane Street or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.

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:

  continue reading

24 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Listen to this show while you explore
Play