Startseite
Podcasts
Signals and Threads Podcast
The Future of Programming with Richard Eisenberg

The Future of Programming with Richard Eisenberg

Signals and Threads vor 3 Jahren

0:00

59:37

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