
Sign up to save your podcasts
Or
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:
4.9
7272 ratings
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:
270 Listeners
587 Listeners
585 Listeners
2,424 Listeners
625 Listeners
1,919 Listeners
189 Listeners
227 Listeners
84 Listeners
434 Listeners
58 Listeners
90 Listeners
377 Listeners
124 Listeners
61 Listeners