Rephonic
Artwork for Func Prog Podcast

Func Prog Podcast

Christoffer Ekeroth
Functional Programming
Haskell
Clojure
F-Sharp
Type Theory
Programming Languages
Scala
Unison Programming Language
Artificial Intelligence
Gleam
Zio
Statically Typed Languages
Error Handling
Calva
Quint
Enterprise Applications
Oustrel
Curry-Style Type Systems
Church-Style Type Systems
Back-End Development

This is the Func Prog Podcast, a podcast about functional programming.

PublishesMonthlyEpisodes17Foundeda year ago
Number of ListenersCategory
Technology

Listen to this Podcast

Artwork for Func Prog Podcast

Latest Episodes

I sit down with Don Syme, the creator of F#! We chat about language design, the "sweet spot" of type system expressivity, and how A.I. will affect the future of software development.

Topics covered:

* The origin story of F#

* Why types, data mod... more

In this episode I sit down with Adam Tornhill, founder of CodeScene, to talk about technical debt, Clojure, and why it's so hard to write good software.

Topics covered

* From electrical engineering to software psychology

* Why writing good code ... more

YouTube

In this episode, I talk to Giacomo Cavalieri, a core Gleam team member. We cover what makes Gleam special and why developers love it, and how it brings modern type safety to the battle-tested Erlang ecosystem. How did Gleam become Stack Overflow's 2n... more

YouTube

In this episode, I sit down with Robert Kreuzer, co-founder and CTO at Channable, to hear what it's like using Haskell in production. You will hear the story of Channable, and how Haskell worked its way into their code base.

Topics covered:

How Cha... more

YouTube

What is the future of Haskell, program generation and AI? I sit down with Matthías Páll Gissurarson and try to figure this out, along with the optimal development setup... and of course, deadlifts!

Topics covered:

Haskell

Typed holes

Using AI for... more

YouTube

In this episode I talk with Almir Mesic about all things F#!

We cover topics like:

The advantages of F#

Introducing F# at an C# company

How thinking in functions helps you improve your code

Domain-Driven Design

The “units of measure” feature i... more

YouTube

In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! If you're ready to take your type safety to the next level, then this episode is for you!

We cover topics like:

Homotopy type theory

Proo... more

YouTube

In this podcast I get down to business with Robert Smith, the creator of Coalton, a language-within-a-language for Common Lisp. We cover a bunch of things, including:

LISP through the years

REPL-driven development (and why you might not always want... more

YouTube

Key Facts

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

Similar Podcasts

People also subscribe to these shows.

Software Unscripted
Software UnscriptedRichard Feldman
Thinking Elixir Podcast
Thinking Elixir PodcastThinkingElixir.com
Elixir Wizards
Elixir WizardsSmartLogic LLC

Recent Guests

Don Syme
Father of F#
.NET / Microsoft Research
Episode: #17 Don Syme
Adam Tornhill
Founder/CEO of CodeScene
CodeScene
Episode: #16 Adam Tornhill
Giacomo Cavalieri
Core Gleam team member, Gleam language developer
Gleam Core Team
Episode: #15 Giacomo Cavalieri
Robert Kreuzer
Co-founder and CTO of Channable
Channable
Episode: #14 Robert Kreuzer
Matthias Páll Gissurarson
Deadlift champion and researcher in program synthesis; guest on the episode
Independent researcher and educator
Episode: #13 Matthías Páll Gissurarson
Almir Mesic
F# and functional programming expert from Norway
Ren (F# team)
Episode: #12 Almir Mesic
Elisabeth Stenholm
Guest, mathematician and software developer focused on dependently typed programming
Stockholm/Bergen academic/industry work
Episode: #11 Elisabeth Stenholm
Aram Hăvărneanu
Programming language expert and former developer at Q Labs, currently working on his own programming language
Episode: #8 Aram Hăvărneanu
Fernando Borretti
Creator of the Oustrel programming language
Episode: #6 Fernando Borretti

Host

Christopher Munroe
Host of Func Prog Podcast

Top Technology Podcasts

Veckans AI
Veckans AIFredrik Hanefalk och Magnus Paues
Acquired
AcquiredBen Gilbert and David Rosenthal
Darknet Diaries
Darknet DiariesJack Rhysider
Elbilsveckan
ElbilsveckanPeter Esse & Christoffer Gullin

Talking Points

Recent interactions between the hosts and their guests.

#16 Adam Tornhill
Q: What languages had you tried before or used prior to Common Lisp and Clojure?
Adam describes starting with assembly, C, C++, plus Java, .NET, and Python, and notes that Lisp and Clojure ultimately became his preferred core languages due to their expressiveness, ecosystem, and JVM benefits. He also discusses Erlang as another loved language and explains why Clojure was a natural fit for CodeScene.
#3 Peter (PEZ) Strömberg
Q: What's a good way for people who want to start hacking Clojure?
A good starting point is to use Calva with VSCode, which will create a new project and start a tutorial REPL for you.
#4 Gabriela Moreira
Q: Can you explain what Quint is and its role as a specification language?
Gabriela explains that Quint is a modern specification language for formal methods, designed to be user-friendly for programmers and to support high-level abstractions for system modeling.
#4 Gabriela Moreira
Q: How did you decide to get into type systems and formal methods?
Gabriela shares how she was initially inspired by a talk on Haskell in her first year of university which sparked her interest in functional programming and type systems.
#5 Sashan Govender
Q: How can functional programming benefit those stuck with older code bases?
Functional programming can provide cleaner, more maintainable code that is easier to reason about, potentially reducing bugs.

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 Func Prog Podcast

What is Func Prog Podcast about and what kind of topics does it cover?

This show centers on functional programming, language design, and the practicalities of building real software systems. Episodes frequently explore how languages shape developer workflows, how code quality and architecture influence business outcomes, and how new tooling and AI ideas might accelerate programming. Guests tend to be practitioners and researchers who bring deep technical context, from language design and verification to industry-scale engineering and product platforms. The show often pairs historical perspectives with forward-looking discussions, offering actionable insights for engineers, architects, and teams evaluating new languages, tooling, or methodologies. A standout theme is the strong emphasis on developer experience,... more

Where can I find podcast stats for Func Prog Podcast?

Rephonic provides a wide range of podcast stats for Func Prog Podcast. 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 Func Prog Podcast and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.

How many listeners does Func Prog Podcast get?

Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for Func Prog Podcast, 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 Func Prog Podcast?

Rephonic provides comprehensive predictive audience data for Func Prog Podcast, 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 Func Prog Podcast have?

To see how many followers or subscribers Func Prog Podcast 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 Func Prog Podcast?

These podcasts share a similar audience with Func Prog Podcast:

1. Software Unscripted
2. Thinking Elixir Podcast
3. Elixir Wizards

How many episodes of Func Prog Podcast are there?

Func Prog Podcast launched a year ago and published 17 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 Func Prog Podcast?

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 Func Prog Podcast?

Rephonic pulls ratings and reviews for Func Prog Podcast 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 Func Prog Podcast?

Rephonic provides full transcripts for episodes of Func Prog Podcast. 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 Func Prog Podcast?

Recent guests on Func Prog Podcast include:

1. Don Syme
2. Adam Tornhill
3. Giacomo Cavalieri
4. Robert Kreuzer
5. Matthias Páll Gissurarson
6. Almir Mesic
7. Elisabeth Stenholm
8. Aram Hăvărneanu

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