Statements as expressions [was Re: Undefined behaviour in C]

[Paul Rubin]

BartC <bc at freeuk.com> writes:
> With more recent ones I've dropped that model, so that statements and
> expressions are different, and that is strictly enforced. This makes
> implementation simpler, and detects lots more errors.

You should try Haskell, where there are only expressions, but the ones
that perform actions can be separated from the other ones through the
type system, so using one in the wrong place raises a compile time type
error.