[clean-list] My very first program crashes!

Frantisek Fuka fuxoft@terminal.cz
Tue, 29 May 2001 08:56:50 +0200


Yes, I was just curious: If this happened in 10,000 lines program (I 
compile it without errors, run it, and - BANG - crash), how could I 
possibly find out where the error is? Does CLEAN allow any step 
debugging or stricter checking?

Richard A. O'Keefe wrote:

> "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.
> 
> _______________________________________________
> clean-list mailing list
> clean-list@cs.kun.nl
> http://www.cs.kun.nl/mailman/listinfo/clean-list
> 
> 



-- 
                                          Frantisek Fuka
(yes, that IS my real name)
(and it's pronounced "Fran-tjee-shek Foo-kah")
----------------------------------------------------
My E-mail:   fuxoft@terminal.cz
My Homepage: http://www.fuxoft.cz
My ICQ:      2745855