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.