Sveriges mest populära poddar

The Haskell Interlude

38: Edwin Brady

59 min•4 december 2023

Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.

Fler avsnitt av The Haskell Interlude

82: Fraser Tweedale

19 maj•49 min

81: Torsten Grust

27 apr.•1 tim 11 min

80: POPL 2026 - Part 1

13 apr.•43 min

79: Peter Thiemann

22 mars•1 tim 7 min

78: Jamie Willis

8 mars•43 min

77: Franz Thoma

22 feb.•58 min

76: Jeffrey Young

25 jan.•1 tim 4 min

75: Kathrin Stark

11 jan.•51 min

74: Lennart Augustsson

19 dec. 2025•1 tim 21 min

73: Jean-Philippe Bernardy

13 nov. 2025•38 min

The Haskell Interlude med Haskell Podcast finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.