On Thursday, 5 February 2015 at 05:48:43 UTC, bearophile wrote:
Zach the Mystic:
I have an idea. Treat all assert statements which come before
the first non-assert statement as part of the 'in' contract.
I'm not saying the compiler has to generate a whole 'in'
function, but these asserts can be internally tagged to behave
*as if* in an 'in' contract. That solves the tooling problem
and the too-much-code problem, no?
Bad idea. We had DbC, let's start using it.
Bye,
bearophile
My proposal is just effectively syntax sugar for DbC, which the
average programmer (not you!) will actually want to use.
