Rephonic
Artwork for The Haskell Interlude

The Haskell Interlude

Haskell Podcast
Haskell
Functional Programming
Agda
Fintech
Blockchain
SCARF
Idris
Supercede
Haskell Foundation
Open Source Software
Dependent Types
Effective Haskell
Cross-Compiling
Remote Work
Software Development
Type System
Elm
Runtime Monitoring
Copilot
Functional Reactive Programming

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!

PublishesMonthlyEpisodes79Founded5 years ago
Number of ListenersCategory
Technology

Listen to this Podcast

Artwork for The Haskell Interlude

Latest Episodes

In this episode, we focus on a particular part of Haskell: teaching it. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits of live coding, and why Haskell is the best langu... more

Franz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project is not written in Haskell. We had a far-reaching c... more

Welcome to the Haskell Interlude. Today, Matti and Mike talk to

Jeffrey Young. Jeff has had a long history of working with Haskell and

on ghc itself. We talk about what makes Haskell so compelling, the

good and bad of highly optimized code and the be... more

We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers' hearts such as interactive theo... more

Key Facts

Accepts Guests
Accepts Sponsors
Contact Information
Podcast Host
Number of Listeners
Find out how many people listen to this podcast per episode and each month.

Similar Podcasts

Recent Guests

Franz Thoma
Principal consultant at TNG Technology Consulting and organizer of MuniHac
TNG Technology Consulting
Episode: 77: Franz Thoma
Jeffrey Young
Language engineer at Epic with a focus on functional programming and compiler optimization.
Epic
Episode: 76: Jeffrey Young
Jean-Philippe Bernardy
Senior lecturer at the University of Gothenburg and Chalmers University of Technology
Episode: 73: Jean-Philippe Bernardy
Manuel Chakravarty
Haskell expert with extensive experience in programming languages and type systems.
Haskell Foundation
Episode: 72: Manuel Chakravarty
Michael Snoyman
Author of Yesod, Conduit, Stackage, and many other popular Haskell libraries
Episode: 68: Michael Snoyman
Daniele Micciancio
Professor at UC San Diego working in lattice cryptography
University of California, San Diego
Episode: 66: Daniele Micciancio
Andy Gordon
A prominent figure in functional programming and Haskell development.
Cogna
Episode: 65: Andy Gordon
Sandy Maguire
Lead Compiler Engineer at Manifold Valley
Manifold Valley
Episode: 64: Sandy Maguire
Farhad Mehta
Professor at OST Rapperswil, organizer of ZuriHac
OST Rapperswil
Episode: 63: Farhad Mehta

Hosts

Andres Löh
Co-host with a focus on Haskell and its applications in both academia and industry.
Mike Sperber
Co-host with insights into Haskell's design and community involvement.

Reviews

4.9 out of 5 stars from 49 ratings
  • I listen to this through and through weekly, on apple podcast, but audible has a better user experience imho. Every episode is a gem! Brilliant and amazing work! Definitely worth several listens.

    Audible
    5
    Omari Enso
    United States4 years ago
  • Enlightening & Entertaining

    I listen to this through and through weekly, on apple podcast, but audible has a better user experience imho. Every episode is a gem! Brilliant and amazing work! Definitely worth several listens.

    Audible
    5
    Omari Enso
    United States4 years ago

Chart Rankings

How this podcast ranks in the Apple Podcasts, Spotify and YouTube charts.

Apple Podcasts
#244
Italy/Technology
Apple Podcasts
#79
Argentina/Technology
Apple Podcasts
#214
United Arab Emirates/Technology
Apple Podcasts
#222
Austria/Technology
Apple Podcasts
#224
Ireland/Technology
Apple Podcasts
#244
Denmark/Technology

Talking Points

Recent interactions between the hosts and their guests.

75: Kathrin Stark
Q: Can you describe what it means to do research on a proof assistant?
Research can involve using proof assistants to certify claims in programming language papers, proving mathematical results, or improving how proof assistants function.
75: Kathrin Stark
Q: Can you talk a little bit about what kind of properties are sort of useful to prove?
It's about finding parts where most errors would occur and proving functional requirements, which can be difficult but are essential for correctness.
75: Kathrin Stark
Q: So Kathrin, how did you first get in contact with functional programming?
I first encountered functional programming in my first semester at university with Standard ML, which involved basics like writing small recursive functions and then led to a mini OCaml compiler and easy correctness proofs.
68: Michael Snoyman
Q: How do you see the transition from Haskell to Rust?
Rust embraced many good ideas from Haskell, making it comfortable for me to use.
68: Michael Snoyman
Q: What do you miss most about Haskell?
I miss STM the most; lazy evaluation isn't a big loss for me.

Audience Metrics

Listeners, social reach, demographics and more for this podcast.

Listeners per Episode
Gender Skew
Location
Interests
Professions
Age Range
Household Income
Social Media Reach

Frequently Asked Questions About The Haskell Interlude

What is The Haskell Interlude about and what kind of topics does it cover?

Focus centers predominantly on Haskell programming and functional programming concepts, exploring various aspects such as software architecture, compiler development, and the evolution of programming languages. The discussions often highlight the challenges and advantages of adopting Haskell over traditional object-oriented methods, emphasizing practical applications and community engagement in the Haskell ecosystem. Listeners can expect in-depth conversations that not only cater to experienced developers but also resonate with those new to functional programming, encompassing a range of insights from notable figures in the field.

Moreover, the podcast is unique in its inclusion of a diverse group of guests from academia and industry, shar... more

Where can I find podcast stats for The Haskell Interlude?

Rephonic provides a wide range of podcast stats for The Haskell Interlude. We scanned the web and collated all of the information that we could find in our comprehensive podcast database. See how many people listen to The Haskell Interlude and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.

How many listeners does The Haskell Interlude get?

Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for The Haskell Interlude, including podcast download numbers and subscriber numbers, so you can make better decisions about which podcasts to sponsor or be a guest on. You will need to upgrade your account to access this premium data.

What are the audience demographics for The Haskell Interlude?

Rephonic provides comprehensive predictive audience data for The Haskell Interlude, including gender skew, age, country, political leaning, income, professions, education level, and interests. You can access these listener demographics by upgrading your account.

How many subscribers and views does The Haskell Interlude have?

To see how many followers or subscribers The Haskell Interlude has on Spotify and other platforms such as Castbox and Podcast Addict, simply upgrade your account. You'll also find viewership figures for their YouTube channel if they have one.

Which podcasts are similar to The Haskell Interlude?

These podcasts share a similar audience with The Haskell Interlude:

1. Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
2. Deep Questions with Cal Newport
3. Theories of Everything with Curt Jaimungal
4. Philosophy Bites
5. In Our Time

How many episodes of The Haskell Interlude are there?

The Haskell Interlude launched 5 years ago and published 79 episodes to date. You can find more information about this podcast including rankings, audience demographics and engagement in our podcast database.

How do I contact The Haskell Interlude?

Our systems regularly scour the web to find email addresses and social media links for this podcast. We scanned the web and collated all of the contact information that we could find in our podcast database. But in the unlikely event that you can't find what you're looking for, our concierge service lets you request our research team to source better contacts for you.

Where can I see ratings and reviews for The Haskell Interlude?

Rephonic pulls ratings and reviews for The Haskell Interlude from multiple sources, including Spotify, Apple Podcasts, Castbox, and Podcast Addict.

View all the reviews in one place instead of visiting each platform individually and use this information to decide if a show is worth pitching or not.

How do I access podcast episode transcripts for The Haskell Interlude?

Rephonic provides full transcripts for episodes of The Haskell Interlude. Search within each transcript for your keywords, whether they be topics, brands or people, and figure out if it's worth pitching as a guest or sponsor. You can even set-up alerts to get notified when your keywords are mentioned.

What guests have appeared on The Haskell Interlude?

Recent guests on The Haskell Interlude include:

1. Franz Thoma
2. Jeffrey Young
3. Jean-Philippe Bernardy
4. Manuel Chakravarty
5. Michael Snoyman
6. Daniele Micciancio
7. Andy Gordon
8. Sandy Maguire

To view more recent guests and their details, simply upgrade your Rephonic account. You'll also get access to a typical guest profile to help you decide if the show is worth pitching.

Find and pitch the right podcasts

We help savvy brands, marketers and PR professionals to find the right podcasts for any topic or niche. Get the data and contacts you need to pitch podcasts at scale and turn listeners into customers.
Try it free for 7 days