The Haskell Interlude

28: Richard Eisenberg


Listen Later

In this episode Niki Vazou and Mattias Pall chat with Richard Eisenberg. Richard is currently a language designer at Jane Street, he is the chair of the board at the Haskell Foundation and known for his work on the GHC compiler.  Today we talk about dependent types in Haskell, how to get involved with GHC and Haskell foundation and how Haskell and Ocaml are different, for example, functor means a totally different thing in the two languages. 


...more
View all episodesView all episodes
Download on the App Store

The Haskell InterludeBy Haskell Podcast

  • 5
  • 5
  • 5
  • 5
  • 5

5

13 ratings


More shows like The Haskell Interlude

View all
In Our Time by BBC Radio 4

In Our Time

5,461 Listeners

Software Engineering Radio by se-radio@computer.org

Software Engineering Radio

273 Listeners

Philosophy Bites by Edmonds and Warburton

Philosophy Bites

1,530 Listeners

Talk Python To Me by Michael Kennedy

Talk Python To Me

588 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

625 Listeners

The Quanta Podcast by Quanta Magazine

The Quanta Podcast

526 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

188 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,155 Listeners

Your Undivided Attention by The Center for Humane Technology, Tristan Harris, Daniel Barcay and Aza Raskin

Your Undivided Attention

1,563 Listeners

Last Week in AI by Skynet Today

Last Week in AI

303 Listeners

Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST)

88 Listeners

Type Theory Forall by Pedro Abreu

Type Theory Forall

13 Listeners

The Array Cast by The Array Cast

The Array Cast

37 Listeners

The Joy of Why by Steven Strogatz, Janna Levin and Quanta Magazine

The Joy of Why

496 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

59 Listeners