[clean-list] My very first program crashes!

Richard A. O'Keefe ok@atlas.otago.ac.nz
Tue, 29 May 2001 11:02:09 +1200 (NZST)


"Maarten de Mol" <maartenm@cs.kun.nl> wrote:
	So, a benefit of Clean could be that it produces LESS run-time crashes,
	but, unfortunately, not all run-time crashes can be avoided. (or else the
	halting problem would have been solved)
	
There is a non-sequitur there.
It is true that the best a type system can do is give you fewer (not less)
run-time problems, not none.  Amongst other things, 1/0 is well-typed.

However, it does ***NOT*** follow that a crash is acceptable behaviour.
What's probably occurring is some type of stack overflow.  Other programming
languages manage perfectly well to catch such errors and give you an
intelligible diagnostic.  Just crashing and leaving it to the operating
system to tell you why just isn't good enough.  Clean gets away with it
because it's free.