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 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
Proof assistants
Languages Rocq, Lean4, Agda, Idris
Proving theorems in Lean4
How to get started with dependent types and proof assistants
Links
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.