DiscoverThe Haskell Interlude
The Haskell Interlude
Claim Ownership

The Haskell Interlude

Author: Haskell Podcast

Subscribed: 21Played: 333
Share

Description

This is the Haskell Interlude, where the five co-hosts (Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joachim Breitner) chat with Haskell guests!
21 Episodes
Reverse
20: Jesper Cockx

20: Jesper Cockx

2023-01-1650:29

In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.
19: Marc Scholten

19: Marc Scholten

2022-12-0750:26

In this episode Marc Scholten is interviewed by Andres Löh and Joachim Breitner. They talk about the Integrated Haskell Platform web framework (IHP), implicit parameters and nix.
In this episode Matthias Pall Gissurarson & Jimmy Koppel are interviewed by Wouter Swierstra and Niki Vazou. They talk about program synthesis, typed holes, program repair, and generating properties using a new technique called ECTAs.
17: Ningning Xie

17: Ningning Xie

2022-10-2548:05

Ningning Xie is interviewed by Niki Vazou and Andres Loh. Ningning first contributed to GHC at her Google summer of code project with a very ambitious goal of implementing the whole dependent Haskell. Also later she fixed several ghc bugs and worked on Koka’s Algebraic effects. Her future hope and advice is to use programming language concepts on real-word problems.
16: Oskar Wickström

16: Oskar Wickström

2022-08-3150:31

Oskar Wickström is interviewed by Wouter Swierstra and Alejandro Serrano, he will tell us a little bit about property-based testing (PBT) Haskell code but also applying these ideas to the testing of complete systems. He will say a little bit about interfacing Haskell to other languages and even with your web browser and what it's like to learn Rust as a Haskell programmer.
15: Facundo Dominguez

15: Facundo Dominguez

2022-07-1456:38

Facundo Dominguez is interviewed by Niki Vazou and Joachim Breitner. Facundo Dominguez tells us the difference between STM and SMT. We also talk about Liquid Haskell and its relation to dependent types and the `QualifiedDo` extension -- which is one of the most highly discussed GHC proposals -- and the general GHC proposals. And, finally, Facundo lets have Haskell peacefully coexist with other languages thanks to his work in the build system Bazel.
14: Ryan Trinkle

14: Ryan Trinkle

2022-06-2850:57

Ryan Trinkle is interviewed by Joachim Breitner and Niki Vazou. Ryan Trinkle has co-founded Obsidian Systems, a company that not just uses Haskell but even more exotic tech that as Functional Reactive Programming (FRP) and Nix. Ryan shed some light on the business side of Haskell and we get to hear that hiring for Haskell is actually excellent.
13: David Christiansen

13: David Christiansen

2022-06-0555:20

David Christiansen is interviewed by Alejandro Serrano  and Wouter Swierstra.  They talk about many functional programming things, from Idris to Racket and of course Haskell and David's new role as the executive director of Haskell Foundation. 
12: Gergő Érdi

12: Gergő Érdi

2022-05-0901:17:54

Gergő Érdi is interviewed by Wouter Swierstra and  Andres Löh. Gergő has an interesting path into Haskell taking many twists and turns. This episode discusses about these twists and Gergő's recent book on implementing retro computers using Haskell.
11: Simon Peyton Jones

11: Simon Peyton Jones

2022-03-2501:05:08

Simon Peyton Jones is interviewed by Andres Löh and Joachim Breitner.  Simon is the creator of Haskell and in this episode he talks about his new position at Epic, the origins of Haskell and why "it feels right", and the (extra)ordinary Haskell programmers.
10: Nadia Polikarpova

10: Nadia Polikarpova

2022-03-0556:14

Nadia Polikarpova is interviewed by Alejandro Serrano and Niki Vazou. Nadia is an assistant professor at UCSD, where she works on improving how we write programs. They talk about some of her projects, like Hoogle+ and Synquid, and how she approaches teaching about these topics.
09: Sebastian Graf

09: Sebastian Graf

2022-02-1001:01:54

Sebastian Graf is interviewed by Joachim Breitner and Alejandro Serrano.  Sebastian is one of the most active contributors to GHC, and tells of this experience, from his very first commit to GHC to his current work on the pattern coverage checker and demand analyzer. He also gives us hints on how to reason about the strictness of Haskell programs.
08: Théophile Choutri

08: Théophile Choutri

2022-01-0701:04:08

Niki Vazou and Andres Löh are joined by guest Théophile Choutri (they/them), who also goes by Hécate. Théophile coordinates multiple projects and volunteer groups within the Haskell Foundation, notably the Haskell School project (intending to provide a free online open source library for teaching Haskell), and works on improving GHC core documentation and developing an alternative to Hackage. Together they discuss Théophile's introduction to Haskell and their ongoing projects with the Foundation and the broader community, with a focus on the challenges facing Haskell non-experts and how they hope to tackle them.
07: José Calderón

07: José Calderón

2021-12-1756:48

José Calderón  is interviewed by Niki Vazou and Wouter Swierstra .  José has been working on functional programming at Galois and University of Maryland.  He tells us about his research background in many different continents, his experience with teaching compilers, the relation between music and functional programming and the "Recursive Programming Techniques" book that in the  1970s captured the essence of functional programming. 
06: Graham Hutton

06: Graham Hutton

2021-11-2658:51

Graham Hutton is interviewed by Wouter Swierstra and Andres Löh. Graham is known for his work on Haskell both in research and teaching Haskell, and in particular his Haskell book. Graham will tell us a little bit about how his book came about and give us advice for how to write a book ourselves, but also look back on his experience using Haskell and teaching Haskell in the last thirty years, and tell us a little bit about how bad the compile times were for the very first versions of GHC.
05: Chris Smith

05: Chris Smith

2021-11-1201:07:57

Chris Smith is interviewed by Joachim Breitner and Andres Löh. Chris is the author of the CodeWorld teaching tool and discusses why too much curry in the language can make error messages hard to digest and why a self respecting testing library certainly should be used to test itself.   
04: Jasper Van der Jeugt

04: Jasper Van der Jeugt

2021-10-2901:03:03

Jasper Van der Jeug is interviewed by Niki Vazou and Joachim Breitner. Jasper plays an important role in the Haskell community, helping with haskell.org, the Google Summer of Code project, ZuriHac and the ICPF programming contest, so there is much to talk about.
03: Gabriella Gonzalez

03: Gabriella Gonzalez

2021-10-1401:00:04

The guest in our second episode is Gabriella Gonzalez. The hosts are Joachim Breitner and Alejandro Serrano. We talk about Dhall, Nix, and Haskell, learn why Gabriella's packages are sometimes called after characters of computer games, and get to know her elevator pitch for educating Haskell. The interviewee now goes by Gabriella as their preferred name, but at the time was still using Gabriel.
02: Lennart Augustsson

02: Lennart Augustsson

2021-09-3001:08:26

The guest in our second episode is Lennart Augustsson. The hosts are Wouter Swierstra and Niki Vazou. We talk about Lennart's long history with Haskell, about the various jobs he has had, all the compilers he has written, and about dependent types.
01: Emily Pillmore

01: Emily Pillmore

2021-08-0901:14:00

The guest of our first regular episode is Emily Pillmore, CTO of the Haskell Foundation. The hosts are Alejandro Serrano and Andres Löh. We talk about Emily's path to Haskell, the role of the Haskell Foundation and the CTO within the Haskell Foundation, about current projects, the Haskell Community and about Emily's work on Optics.
loading
Comments 
Download from Google Play
Download from App Store