
#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