My body is ugly (was Re: Contract programming syntax)

[Don]

bearophile wrote:
I like contract programming, it helps me avoid bugs. This is an example from 
the docs:
long squareRoot(long x)
    in {
        assert(x >= 0);
    }

    out (result) {
        assert((result * result) <= x && (result+1) * (result+1) >= x);
    }

    body {
        return cast(long)std.math.sqrt(cast(real)x);
    }


But isn't a syntax like the following better? To me it looks more logic, 
because in{} and out(){} are part of the function, and there's no need of a 
special syntax for the body (and the 'body' keyword):

long squareRoot(long x) {
    in {
        assert(x >= 0);
    }

    out (result) {
        assert((result * result) <= x && (result+1) * (result+1) >= x);
    }

    return cast(long)std.math.sqrt(cast(real)x);
}

Bye,
bearophile

I agree, the 'body' keyword is the most useless thing in the language. I 
find it makes functions much harder to read.
I hate my body.