🚀 go-pugleaf

In article <52164@nigel.ee.udel.edu> new@ee.udel.edu (Darren New) writes:
>Excuse me?  Any language implementing while loops has functions which
>won't terminate, strong typing or not.  Or do you mean it will terminate

Not necessarily. Only if we allow "types" that are not well-founded.
And, why we would want to do that in a computer programming language
is beyond me.

>My point is that if you have an exception-handling mechanism that
>the programmer can use to catch "message not understood" errors, then
>one cannot really say that the behavior of a function generating a
>message-not-understood is "undefined".  Something that aborts the
>program without giving the program a chance to clean up could be
>considered a runtime error.  Undetected errors are also "errors".
>

Not undefined, but not well defined. i.e. f(x) = { g(x) or unroll
                                                   program state ...}
Not very nice.