Skip to content
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
Cannot retrieve contributors at this time

#Hope, Faith, and Proof in Programming

Bill Venners (bvenners)

Artima, Inc.


This talk will show how to apply hope, faith, and proof to write the best code you can. It will compare and contrast the three, then pick a winner. Along the way, this talk will look at types and tests from a new angle and highlight a new kind of assertion that deserves a place in your toolbox.


This talk is a fresh look at how we should approach everyday coding. It will illustrate the ideas using code examples that make use of future versions of ScalaTest and Scalactic currently under development. The talk will include an introduction of what I believe is a new kind of assertion that has emerged from our work, an idea that I think deserves to be better known.


Bill Venners is president of Artima, Inc., provider of Scala books, developer tools, training, and consulting. He leads the open source projects for the ScalaTest testing library and the Scalactic library for functional, object-oriented programming. He is coauthor with Martin Odersky and Lex Spoon of the book, Programming in Scala.