I am not upset about assert because I have my own already. It just indicates a very suspicious attitude.Dan Andersson wrote:I'm not too upset about assertions myself.
Miguel
I'm thinking that a strongly typed language with minuscule compilation times is a prime candidate for a superior tool like QuickCheck. Originally a combinator library for (semi-) automatic testing of Haskell code it has been reimplemented for many imperative and functional languages.
There are impressive demonstrations of the commercial Erlang QuicQ tool finding race conditions in multi threaded programs.
MvH Dan Andersson