Contracts are a powerful tool in the never-ending quest to develop correct, robust, maintainable software. Contracts are especially useful in design (“Design By Contract”), development, debugging, and documentation.
In this presentation Daniel will introduce contracts and give an overview of their use, concentrating on functional languages, with examples in Racket. An opinionated comparison on the merits of contracts vs tests vs types vs hybrid approaches should stimulate debate.
The doors to get into the office lock at 6pm. If you come later than that you’ll need to give me a call on 0438 050 887 to let you in.