Bill discusses the evolution of testing practices, emphasizing the disconnect between code and tests. He advocates for a future where formal specifications of function behavior could simplify unit testing, potentially making it more intuitive. Despite the advantages of property-based testing, he notes that most developers still prefer example-based testing, highlighting a gap in adoption.
