The Haskell Interlude @HaskelInterlude

This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol haskell.foundation/podcast/ Joined July 2021

Tweets

56
Followers

585
Following

11
Likes

22

The Haskell Interlude @HaskelInterlude

2 weeks ago

Today’s guest is Jurriaan Hage. He is a professor at Heriot-Watt University who’s worked with and on Haskell for many years. He’s known for the Helium Haskell compiler, type system improvements, better error messages, and detection of plagiarism. haskell.foundation/podcast/69/

0 4 21 665 0

The Haskell Interlude @HaskelInterlude

2 months ago

In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. haskell.foundation/podcast/67/

0 4 14 1K 5

The Haskell Interlude @HaskelInterlude

2 months ago

In this episode, we learn from Daniele Micciancio about teaching theoretical computer science with Haskell and of course Daniele's field of research - cryptographic algorithms. haskell.foundation/podcast/66/

0 4 16 784 2

The Haskell Interlude @HaskelInterlude

3 months ago

In this episode we learn about @AndrewDGordon's work including the origins of (>>=), introducing lambdas in Excel, and delve into his current work at Cogna using AI to allow non-programmers to write apps using natural language. haskell.foundation/podcast/65/

0 6 19 1K 5

The Haskell Interlude @HaskelInterlude

5 months ago

In this episode we talk to Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell, all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws. haskell.foundation/podcast/64/

0 3 18 395 4

The Haskell Interlude @HaskelInterlude

6 months ago

In this episode, Andres and Mike are joined by Farhad Mehta, a professor at OST Rapperswil and one of the organizers of ZuriHac. He tells us about formal methods, building tunnels, and the complicated relationship between academia and industry. haskell.foundation/podcast/63/

0 1 9 269 1

The Haskell Interlude @HaskelInterlude

7 months ago

New episode of the Interlude is out! In this episode @wouterswierstra and @nikivazou talk with Conal Elliott (@conal). Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question. haskell.foundation/podcast/62/

0 2 11 352 0

The Haskell Interlude @HaskelInterlude

8 months ago

There's a new episode of the Interlude! This time we chat with Sam Lindley from PLDI at the University of Edinburgh. He tells us how difficult naming is, different kinds of effect systems and handlers, languages much purer than Haskell, and Modal logic. haskell.foundation/podcast/61/

1 4 13 749 4

The Haskell Interlude @HaskelInterlude

9 months ago

New episode of the Interlude is out! This time with @tomjaguarpaw. He talks about stability of both GHC and Haskell libraries, effects, and strictness, and the premise of functional programming: make invalid states and invalid laziness unrepresentable! haskell.foundation/podcast/60/

0 4 19 2K 4

The Haskell Interlude @HaskelInterlude

9 months ago

New episode out now! We interview @hgoldstein95, A property-based testing researcher who works in PL, SE, and HCI. We reflect on random generators, the find-a-friend model, interdisciplinary research, and having impact beyond your research community. haskell.foundation/podcast/59/

0 5 16 2K 0

The Haskell Interlude @HaskelInterlude

10 months ago

A new episode is out! In this episode, we are joined by Gabriele Keller and learn why Haskell is the best environment for embedding languages, how the desire to implement parallel programming sparked the development of type families in Haskell, and more! haskell.foundation/podcast/57/

0 1 12 347 1

The Haskell Interlude @HaskelInterlude

11 months ago

After a brief hiatus for the summer, the interlude is BACK! In this episode, we're joined by @satnam6502, who tells us about convincing people to use Haskell, laying out circuits, why community matters, and why you should not be afraid to lose your job! haskell.foundation/podcast/56/

0 6 21 9K 2

Matti Palli 🧙‍♂️ @tritlo

a year ago

Omw to ICFP and Haskell Symposium! We'll be doing a ZuriHac style episode of the @HaskelInterlude, short snippets from various attendees. If you see me around with a mic, come say hi!

2 1 37 1K 0

The Haskell Interlude @HaskelInterlude

a year ago

The latest Haskell Interlude is out! In this episode we are joined by Sebastian Ullrich, one of the main developers of Lean. We talk about theorem provers, the sweet spot between dependent types and simple programming, and how Lean is both! haskell.foundation/podcast/55/

0 5 18 643 3

The Haskell Interlude @HaskelInterlude

a year ago

The latest episode of the Interlude is out! Listen to @dorchard as he tells us all about Granule and collaborating with scientists to improve the languages they work with. haskell.foundation/podcast/54/

1 5 16 1K 3

The Haskell Interlude @HaskelInterlude

a year ago

Haskell Interlude 53: Garrett Morris is out! In this episode, Garrett Morris talks with Wouter Swierstra and Niki Vazou about his work on Haskell's type classes, how to fail successfully, and how to construct a set of ponies. haskell.foundation/podcast/53/

0 2 8 473 3

Matti Palli 🧙‍♂️ @tritlo

a year ago

New episode of the @HaskelInterlude just dropped 👀👀👀 haskell.foundation/podcast/48/

1 4 8 1K 0

Graham Hutton @haskellhutt

2 years ago

Delighted that "Quotient Haskell: Lightweight Quotient Types for All" has been accepted for POPL 2024 - fantastic work by @BrandonHewer! tinyurl.com/quotient-haske…