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.

Introduction
Eiffel
Require
Testdriven development
Hope faith and proof
Natural Number
Scala
Writing a test
Faith and proof talk
Proof example
Proof algorithm
Proof algorithm 0
Proof framework
Contract
Unit Tests
Scala Center
Questions
Proof