Func Prog Podcast
Func Prog Podcast
Podcast Description
This is the Func Prog Podcast, a podcast about functional programming.
Podcast Insights
Content Themes
This podcast explores a range of topics related to functional programming, emphasizing languages like Scala and frameworks such as Zio. For example, episodes delve into the advantages of static typing, the evolving nature of programming languages, and specific tools such as Dhall and System F Omega. The show also discusses theoretical aspects of programming alongside practical implementations and challenges.
This is the Func Prog Podcast, a podcast about functional programming.
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 limitations of Rust
How fully embracing linear logic opens up new types of program safety
Dependent types
Links:
Aram's post about Curry-style type systems
Disclaimer
This podcast’s information is provided for general reference and was obtained from publicly accessible sources. The Podcast Collaborative neither produces nor verifies the content, accuracy, or suitability of this podcast. Views and opinions belong solely to the podcast creators and guests.
For a complete disclaimer, please see our Full Disclaimer on the archive page. The Podcast Collaborative bears no responsibility for the podcast’s themes, language, or overall content. Listener discretion is advised. Read our Terms of Use and Privacy Policy for more details.