[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