Rephonic
Artwork for Func Prog Podcast

Func Prog Podcast

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

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

PublishesTwice monthlyEpisodes14Founded7 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 from 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 Channable got started 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

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
The Haskell Interlude
The Haskell InterludeHaskell Podcast
Talk Python To Me
Talk Python To MeMichael Kennedy
Oxide and Friends
Oxide and FriendsOxide Computer Company

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

Chart Rankings

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

Apple Podcasts
#40
Russia/Technology

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. The Haskell Interlude
3. The Changelog: Software Development, Open Source
4. Talk Python To Me
5. Oxide and Friends

How many episodes of Func Prog Podcast are there?

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