Richard Eisenberg

 00:29 What are dependent type systems? 03:38 applying dependent types to industry 07:30 writing dependently typed programs in Haskell today 09:07 GADTs (Generalized Algebraic Data Types) 11:01 the future of dependent types in GHC 13:40 teaching dependent types 18:03 learning dependent types 20:20 a future style of Haskell programming with dependent types 21:21 Servant and opaleye as an example of type-level features 23:22 tool support for dependently typed programming 24:06 simple applications of dependent types for linear algebra 26:25 Are dependent types worth it? 28:47 complex type system errors 33:07 LiquidHaskell 36:26 safe zero-cost coercions 41:20 total vs type safe 48:36 working on GHC’s type system 51:09 using GHC extensions in the GHC source code 53:00 road to Haskell 55:37 teaching Haskell to students 1:03:00 a hopeful future for reliable software through dependent types

<ul> <li>00:29 What are dependent type systems?</li> <li>03:38 applying dependent types to industry</li> <li>07:30 writing dependently typed programs in Haskell today</li> <li>09:07 GADTs (Generalized Algebraic Data Types)</li> <li>11:01 the future of dependent types in GHC</li> <li>13:40 teaching dependent types</li> <li>18:03 learning dependent types</li> <li>20:20 a future style of Haskell programming with dependent types</li> <li>21:21 Servant and opaleye as an example of type-level features</li> <li>23:22 tool support for dependently typed programming</li> <li>24:06 simple applications of dependent types for linear algebra</li> <li>26:25 Are dependent types worth it?</li> <li>28:47 complex type system errors</li> <li>33:07 LiquidHaskell</li> <li>36:26 safe zero-cost coercions</li> <li>41:20 total vs type safe</li> <li>48:36 working on GHC’s type system</li> <li>51:09 using GHC extensions in the GHC source code</li> <li>53:00 road to Haskell</li> <li>55:37 teaching Haskell to students</li> <li>1:03:00 a hopeful future for reliable software through dependent types</li></ul>

Episode 14 - Richard Eisenberg on Dependent Types in Haskell

John Wiegley

 00:44 using Haskell, Nix, and Emacs for integrated offline development 08:48 building environments for particular dependencies with Nix 09:58 what Emacs and GHC have in common 12:58 developing with typed holes 14:43 compiling to categories 20:35 learning to love mathematics 22:41 applications for compiling to categories 25:25 Coq 28:15 specifying the ByteString library in Coq 34:30 Why Haskell? 40:00 writing a compiler in C vs Haskell 43:32 gitlib 45:52 getting your head around Haskell 48:23 recursion schemes/F-algebras 52:33 hnix

<ul> <li>00:44 using Haskell, Nix, and Emacs for integrated offline development</li> <li>08:48 building environments for particular dependencies with Nix</li> <li>09:58 what Emacs and GHC have in common</li> <li>12:58 developing with typed holes</li> <li>14:43 compiling to categories</li> <li>20:35 learning to love mathematics</li> <li>22:41 applications for compiling to categories</li> <li>25:25 Coq</li> <li>28:15 specifying the ByteString library in Coq</li> <li>34:30 Why Haskell?</li> <li>40:00 writing a compiler in C vs Haskell</li> <li>43:32 gitlib</li> <li>45:52 getting your head around Haskell</li> <li>48:23 recursion schemes/F-algebras</li> <li>52:33 hnix</li></ul>

Episode 13 - John Wiegley on Categories and Compilers

Neil Mitchell

Neil Mitchell shares with us his enthusiasm for building development tools. We hear the story of how he built Hoogle in order to learn Haskell, why he created the Shake build system and what he hopes to accomplish with it, and how he uses hlint in his own development work. We discuss Haskell IDEs (including his own minimal ghcid) and briefly touch on a variety of other development tools and libraries that aim to improve Haskell development. Neil also shares a trick he uses for hunting and fixing space leaks in programs and libraries.

Neil Mitchell shares with us his enthusiasm for building development tools. We hear the story of how he built Hoogle in order to learn Haskell, why he created the Shake build system and what he hopes to accomplish with it, and how he uses hlint in his own development work. We discuss Haskell IDEs (including his own minimal ghcid) and briefly touch on a variety of other development tools and libraries that aim to improve Haskell development. Neil also shares a trick he uses for hunting and fixing space leaks in programs and libraries.

Episode 12 - Neil Mitchell on Development Tools

Austin Seipp

Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security differs from C (and where it doesn’t) and some coming changes to Cabal security. Then we discuss Cryptol: a Haskell-inspired language for implementing cryptographic algorithms in a way that more closely resembles their mathematical specification. Finally, we talk a bit about his work in maintaining the haskell.org infrastructure and his time as a GHC release manager. Along the way, Austin shares about his pet projects, including hardware projects using CλaSH.

Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security differs from C (and where it doesn’t) and some coming changes to Cabal security. Then we discuss Cryptol: a Haskell-inspired language for implementing cryptographic algorithms in a way that more closely resembles their mathematical specification. Finally, we talk a bit about his work in maintaining the <a href="http://haskell.org" rel="nofollow" target="_blank">haskell.org</a> infrastructure and his time as a GHC release manager. Along the way, Austin shares about his pet projects, including hardware projects using CλaSH.

Episode 11 - Austin Seipp on Security

Bryan O’Sullivan shares his experience helping make developers more efficient, both inside of Facebook as Director of Developer Efficiency and with his various Haskell libraries, some of which you probably know and use already: aeson, attoparsec, criterion, statistics, and text (to name a few). We speak about performance and optimization of Haskell programs and where documentation for “Real World” Haskell development should go from here. Talking with Bryan also reveals how far you can go with Haskell without being overly concerned about category theory and the other math behind the language and libraries.

Bryan O’Sullivan shares his experience helping make developers more efficient, both inside of Facebook as Director of Developer Efficiency and with his various Haskell libraries, some of which you probably know and use already: aeson, attoparsec, criterion, statistics, and text (to name a few). We speak about performance and optimization of Haskell programs and where documentation for “Real World” Haskell development should go from here. Talking with Bryan also reveals how far you can go with Haskell without being overly concerned about category theory and the other math behind the language and libraries.

Episode 10 - Bryan O'Sullivan on Performance and Efficiency

Conal Elliott

Conal Elliott, inventor of Functional Reactive Programming, tells us about the birth of FRP as well as other stories from his 30+ years of functional programming experience. He shares what he considers the fundamentals of FRP (behaviors and events) and how they work in a model with continuous time. We speak about FRP practicality and efficiency, including how a continuous time model can help lead to a high performance implementation. Eventually we’re led into Denotational Design, which plays a part in the design and refinement of FRP and which Conal considers his simplest and clearest design tool.

Conal Elliott, inventor of Functional Reactive Programming, tells us about the birth of FRP as well as other stories from his 30+ years of functional programming experience. He shares what he considers the fundamentals of FRP (behaviors and events) and how they work in a model with continuous time. We speak about FRP practicality and efficiency, including how a continuous time model can help lead to a high performance implementation. Eventually we’re led into Denotational Design, which plays a part in the design and refinement of FRP and which Conal considers his simplest and clearest design tool.

Episode 9 - Conal Elliott on FRP and Denotational Design

Ollie Charles

Ollie Charles, author of 24 Days of Hackage (and a number of Haskell libraries), gives us his perspectives on Haskell libraries and how they relate to Perl’s CPAN. He shares how he began his transition from Perl to Haskell while working for MusicBrainz and how he came to work full-time on Haskell at Fynder. (Listen closely if you’ve wanted to write Haskell in your non-Haskell job.) We also chat briefly about developing in Haskell with Nix and a different take on equational reasoning.

Ollie Charles, author of 24 Days of Hackage (and a number of Haskell libraries), gives us his perspectives on Haskell libraries and how they relate to Perl’s CPAN. He shares how he began his transition from Perl to Haskell while working for MusicBrainz and how he came to work full-time on Haskell at Fynder. (Listen closely if you’ve wanted to write Haskell in your non-Haskell job.) We also chat briefly about developing in Haskell with Nix and a different take on equational reasoning.

Episode 8 - Ollie Charles on 24 Days of Hackage and Nix

Chris Done

Chris Done, creator of Fay, Try Haskell, and Structured Haskell Mode, chats with us about web development in Haskell. We start with compiling Haskell to JavaScript via Fay, Haste, and ghcjs. We then discuss SQL and the alternatives available. Finally, we speak briefly about shell scripting and Haskell. Other topics include Chris’s many side projects like Try Haskell and Hulk, his IRC server.

Chris Done, creator of Fay, Try Haskell, and Structured Haskell Mode, chats with us about web development in Haskell. We start with compiling Haskell to JavaScript via Fay, Haste, and ghcjs. We then discuss SQL and the alternatives available. Finally, we speak briefly about shell scripting and Haskell. Other topics include Chris’s many side projects like Try Haskell and Hulk, his IRC server.

Episode 7 - Chris Done on Compiling to JavaScript and SQL

Gabriel Gonzalez

Michael Snoyman

Gabriel Gonzalez and Michael Snoyman join us to discuss their solutions to the problems with lazy IO. Gabriel’s pipes library focuses on equational reasoning while Michael’s conduit library promises deterministic resource handling. Gabriel and Michael have already debated the merits and disadvantages of each other’s libraries on their blogs. Now we get them onto the podcast to explain the differences to us and talk about where they’re going in the future (and the possibility of converging on a single solution).

Gabriel Gonzalez and Michael Snoyman join us to discuss their solutions to the problems with lazy IO. Gabriel’s pipes library focuses on equational reasoning while Michael’s conduit library promises deterministic resource handling. Gabriel and Michael have already debated the merits and disadvantages of each other’s libraries on their blogs. Now we get them onto the podcast to explain the differences to us and talk about where they’re going in the future (and the possibility of converging on a single solution).

Episode 6 - Gabriel Gonzalez and Michael Snoyman on Pipes and Conduit

Brent Yorgey

Brent Yorgey explains the motivation and purpose of his Diagrams library and how it relates to other programmatic graphics systems like TikZ. He then shares his motivation for writing the Typeclassopedia and his thoughts on how much category theory Haskell programmers need to know. He also shares some insights from teaching an introductory Haskell course.

Brent Yorgey explains the motivation and purpose of his Diagrams library and how it relates to other programmatic graphics systems like TikZ. He then shares his motivation for writing the Typeclassopedia and his thoughts on how much category theory Haskell programmers need to know. He also shares some insights from teaching an introductory Haskell course.

Episode 5 - Brent Yorgey on Diagrams and the Typeclassopedia

Listen to regular interviews with the Haskell community. The podcast covers news, libraries, and whatever other topics we wander onto with our guests.

Simon Marlow

Simon Marlow, author of Parallel and Concurrent Programming in Haskell and co-developer of GHC, lets us know what he’s been up to at Facebook. He shares with us the project he’s been working on in Facebook and how Haskell is gaining traction inside Facebook’s diverse engineering culture. We also talk about his recent book and what he’ll be researching in the future.

Simon Marlow, author of Parallel and Concurrent Programming in Haskell and co-developer of GHC, lets us know what he’s been up to at Facebook. He shares with us the project he’s been working on in Facebook and how Haskell is gaining traction inside Facebook’s diverse engineering culture. We also talk about his recent book and what he’ll be researching in the future.

Episode 4 - Simon Marlow on Parallelism and Concurrency

Peyton Jones

Simon Peyton Jones joins us to discuss recent developments in GHC, parallel programming, and computer science education. We start by discussing some upcoming changes to Cabal and the module system and then look at recent developments in parallelizing Haskell programs. Finally, Simon shares what he’s been working on recently: a national curriculum of computing in England and the Computing at School (CAS) Working Group.

Simon Peyton Jones joins us to discuss recent developments in GHC, parallel programming, and computer science education. We start by discussing some upcoming changes to Cabal and the module system and then look at recent developments in parallelizing Haskell programs. Finally, Simon shares what he’s been working on recently: a national curriculum of computing in England and the Computing at School (CAS) Working Group.

Episode 3 - Simon Peyton Jones on GHC

Don Stewart

Don Stewart, co-author of Real World Haskell and author of many Haskell Stack Overflow answers, joins us to discuss working with Haskell at large scale: how to organize, deploy, and test more than 1 million lines of Haskell code. He also shares some insights on hiring, training, and working with a large team of Haskell developers. To start the episode, we discuss performance and optimization of Haskell programs.

Don Stewart, co-author of Real World Haskell and author of many Haskell Stack Overflow answers, joins us to discuss working with Haskell at large scale: how to organize, deploy, and test more than 1 million lines of Haskell code. He also shares some insights on hiring, training, and working with a large team of Haskell developers. To start the episode, we discuss performance and optimization of Haskell programs.

Episode 2 - Don Stewart on Real World Haskell

Edward Kmett

Edward Kmett joins us to talk about lenses, comonads, and the future of the Haskell core libraries. He also shares with us how he discovered Haskell, his academic background, and advice for new Haskell developers being exposed to the math concepts inside of his libraries for the first time.

Edward Kmett joins us to talk about lenses, comonads, and the future of the Haskell core libraries. He also shares with us how he discovered Haskell, his academic background, and advice for new Haskell developers being exposed to the math concepts inside of his libraries for the first time.

Episode 1 - Edward Kmett on Lenses

I loved listening to these a few years ago and it appears to be back! Yay!

Is it back!?!!

I really enjoy this podcast- I don’t speak Haskell but I really appreciate how its contributed to the community and I thought in particular learning about Diagrams and about Lenses was very informative. Funny story was that I was joking with someone out a “HaskellScript” and then the last episode…. well…. I mean… 
Only complaint: more frequent podcasts! (also, more Simon Peyton Jones?!)

Really enjoy it!

The Haskell Cast

The best podcast episodes on Startups. For anyone working in a startup, or anyone interested in the incredible stories behind how people built companies like Instagram, and Facebook. Offering both practical advice and insights, as well as the stories for how many of the biggest startups got to where they are today. Add episodes you're interested into your queue below!

OwlTail

Best Startups Podcasts

The Best Multi-Part Documentaries, with documentaries on Obama, Federer vs Nadal, the making of Star Wars, Netflix vs Blockbuster and more. Add episodes you're interested into your queue below!