Contract Exports in Go

We are familiar with design by contract or contract programming. It is a useful technique for checking the correctness of procedures at runtime. When implemented as Hoare triples, the idea is to assert preconditions, invariants, and postconditions of...