In Types We Trust

Explore a thought-provoking conference talk that delves into the concept of trust in types, drawing parallels between Eiffel's design-by-contract approach and Scala's type system. Learn about the evolution of software development methodologies, from test-driven development to proof-driven development, and discover how natural numbers can be used to illustrate these concepts. Gain insights into writing effective tests, understanding the relationship between faith and proof in programming, and implementing proof algorithms. Examine the role of contracts and unit tests in ensuring software reliability, and consider the potential impact of proof-driven development on the future of programming. Conclude with a discussion on the Scala Center's initiatives and an engaging Q&A session that further explores the implications of trusting in types for software development.