>>33,38,42
I'm not
>>37 but are you for real? I'm interested, give some C++ examples to...
• type check at compile time that
pure function void lol()'s code and subcalls in that code is side-effect free or referentially transparent.
• type check at compile time that
void lol() only throws(Z ...)'s code and the subcalls in that code only ever throws what
lol()'s exception specification Z specified.
• check at compile time that a region of code is guaranteed to terminate, even if that chunk of code has to be pretty simple.
• Type check partially at compile time for moments of using arrays stupidly.
• type check partially at compile time by a contract, which includes preconditions, postconditions, invariants, and that variables derives only from some other known variables, also, the contract's conditions and invariants must be automatically passed down by inheritance to subclasses.