going on the supposition that type checking was invented to catch
human error and not generated code errors.

Cheers,
Bryan Rasmussen

On Tue, Apr 29, 2008 at 6:27 AM, bryan rasmussen
<rasmussen.bryan@xxxxxxxxx> wrote:
> >  I presume this is actually generated code, since I can't imagine any
>  >  intelligent human writing it (unless perhaps to test the behaviour of the
>  >  processor).
>
>  But surely catching typing exceptions of this sort was invented
>  because it could be imagined or even observed that intelligent humans
>  wrote code that attempted to add an integer and a string?
>
>  Cheers,
>  Bryan Rasmussen