Rephonic
Artwork for Func Prog Podcast

Func Prog Podcast

Christoffer Ekeroth
Functional Programming
Haskell
Type Theory
Programming Languages
Scala
Clojure
Unison Programming Language
Statically Typed Languages
Zio
Error Handling
Calva
Quint
Enterprise Applications
Oustrel
Curry-Style Type Systems
Church-Style Type Systems
Back-End Development
Coalton
Common Lisp
Type Safety

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

PublishesTwice monthlyEpisodes14Founded8 months ago
Number of ListenersCategory
Technology

Listen to this Podcast

Artwork for Func Prog Podcast

Latest Episodes

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

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

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

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

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

Hécate is a Haskell engineer and prolific contributor to the Haskell ecosystem—in this episode we talk about using Haskell in production, effect systems and how empathy can help you build better software.

Topics covered:

Effect systems

Effectful

more

In this mind-bending episode I do a deep dive into the world of programming language design and type systems with Aram Hăvărneanu.

We cover a lot of things, including:

The difference between Curry- and Church-style type systems

How types can be us... more

In this episode I chat with Eric Torreborre about all things Unison! Topics covered include:

What makes Unison different from other programming languages

Why putting your source code in a database instead of files might be a good idea

How Unison l... more

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.

CoRecursive: Coding Stories
CoRecursive: Coding StoriesAdam Gordon Bell - Software Developer
Talk Python To Me
Talk Python To MeMichael Kennedy
Conversations with Tyler
Conversations with TylerMercatus Center at George Mason University
Syntax - Tasty Web Development Treats
Syntax - Tasty Web Development TreatsWes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

Recent Guests

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
Sashan Govender
F# developer with a background in C and C++ programming.
Tab
Episode: #5 Sashan Govender
Gabriela Moreira
Lead developer of Quint at Informal Systems, with a focus on type systems and formal verification.
Informal Systems
Episode: #4 Gabriela Moreira
Peter Strömberg
Creator of Calva, Clojure Environment for VSCode. He has been programming since the 1980s.
Episode: #3 Peter (PEZ) Strömberg
Lachezar Yankov
Scala developer with a strong belief in using statically typed languages
Episode: #2 Lachezar Yankov
Sergei Winitzki
Functional programmer with a background in theoretical physics, currently working on a book.
Independent
Episode: #1 Sergei Winitzki

Host

Christopher
Host of the Func Prog Podcast

Top Technology Podcasts

Acquired
AcquiredBen Gilbert and David Rosenthal
Shell Game
Shell GameiHeartPodcasts and Kaleidoscope
Elbilsveckan
ElbilsveckanPeter Esse & Christoffer Gullin
Darknet Diaries
Darknet DiariesJack Rhysider
Fabriken
FabrikenUR – Utbildningsradion
Dwarkesh Podcast
Dwarkesh PodcastDwarkesh Patel
Veckans AI
Veckans AIFredrik Hanefalk och Magnus Paues

Talking Points

Recent interactions between the hosts and their guests.

#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.
#5 Sashan Govender
Q: What are the benefits of using F# instead of C#?
F# provides immutability, better concurrency handling, and is effective for modeling business domains easily.

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 series focuses on various aspects of functional programming, featuring conversations with experts who share insights into different programming languages and methodologies. Topics covered span from backend development using languages like Haskell and Scala to discussions about emerging languages such as Oustrel and Coalton. Notable themes include the design principles of functional programming, practical coding strategies, and the importance of type systems in software development. The engaging discussions aim to educate listeners on the benefits and challenges of adopting functional programming in various contexts, making it a valuable resource for anyone interested in advancing their programming skills in this paradigm.

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. CoRecursive: Coding Stories
2. Talk Python To Me
3. Software Engineering Radio - the podcast for professional software developers
4. Conversations with Tyler
5. Syntax - Tasty Web Development Treats

How many episodes of Func Prog Podcast are there?

Func Prog Podcast launched 8 months ago and published 14 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. Aram Hăvărneanu
2. Fernando Borretti
3. Sashan Govender
4. Gabriela Moreira
5. Peter Strömberg
6. Lachezar Yankov
7. Sergei Winitzki

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