Type Theory Forall cover image

#4 Theorem Provers, Functional Programming and Companies - Eric Bond

Type Theory Forall

00:00

Navigating Functional Programming Innovations

This chapter explores the complexities of Haskell and Scala, discussing the transition from academic to industry roles in functional programming. It shares insights into consulting work that promotes best practices and client engagement strategies, including the impact of COVID-19 on networking opportunities. The conversation also delves into advancements in type theory and the historical significance of programming languages, highlighting the evolving landscape of functional programming.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app