[Mono-list] C++ compatible CLR?

Mathias Hasselmann mathias.hasselmann@gmx.de
Tue, 17 Dec 2002 03:30:04 +0100 (CET)

On Mon, 16 Dec 2002, Freddy BL wrote:

> But for completeness, here the "disadvantages" of C#, which there was 
> listed:
> - it is not possible to get more parameters by one function back

	Plainly wrong: Three concepts to get multiple returned: structs, 
object references, arrays.

> - no support for definitions of pre- and postconditions and invariants.

	Poor man's runtime implementation of pre-, postconditions and
invariants: System.Diagnostics.{Debug,Trace}.Assert. A more sophisticated
implementation easily could introduce new attribute classes (think of
'[Pre("23 != 42"), Post("23 == 42")] int foo(int bar);") or would
implement correctness checking on compile time. 

<rant>Only problem with that: Until someone shows me a working solution I
consider "automatic verification on top of high-level-languages" as a nice
good-night-story for children. As the poor quality of the existing
LARCH-Tools - for instance- shows LARCH is not a working solution.</rant>

WWW:           http://taschenorakel.de/mathias/
PGP/GnuPG:     1024-Bit DSA: ID 55E572F3, 1024-Bit RSA: ID EAAF7CF1
"e:-1" is the Slashdot Troll Emoticon. Often seen after the word "Scor"