Recorded June 23rd, 2018
This week we discuss Contracts, both as an idea (and possible implementations) and as the language level proposal currently progressing through the ISO process. We have one of the proposal's authors, John Lakos, as well as an interested bystander, Kévin Boissonneault.
We finally get to Jon's rant on non-const arguments in post-conditions, and realise that the proposal authors may be one step ahead of us!
- John (et al)'s earlier paper on the Bloomberg implementation
- The Contracts proposal - r4 (apparently there is a non-public r5)
- The Lakos Rule/ Guideline