ABOUT THIS EPISODE

English
United States

TRANSCRIPT 🔗

SEARCH PAST EPISODES

Search past episodes of Func Prog Podcast.

OTHER EPISODES IN THIS PODCAST

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 used to represent meaning Set-theoretic types The lim…
In this episode I chat with Fernando Borretti, creator of the Austral programming language. We cover a bunch of different topics, such as: What makes Austral different from other systems programming languages Linear types and how they can be used for efficient resource management How to create your…

#9 Hécate

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 Input validation using validation-selective Archery H…
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 lets you avoid serialization boilerplate Why Unison d…
Sashan Govender is a senior developer with more than 20 years in the industry; in this episode we talk about F#, a language that combines functional programming with productivity, power and pragmatism. Topics covered: What really matters when it comes to delivering software The advantages of typed…
Disclaimer: The podcast and artwork embedded on this page are from Christoffer Ekeroth, which is the property of its owner and not affiliated with or endorsed by Listen Notes, Inc.