Armchair Type Theory

Armchair Type Theory

Explore the historical roots and fundamental concepts of type theory in this engaging JSConf 2014 talk. Delve into the surprising revelation that types predate Haskell, gaining insights into the evolution and significance of type systems in programming languages. Discover how this knowledge can enhance your understanding of modern software development practices and language design.