In fact, someone with extra time on their hands should simply write
the code tool #'analyze. No need for Franz or other compiler vendor
to implement this, perfectly voluntary.
Rich & Shrobe's "Initial Report on a LISP Programmer's Apprentice"
(1978) talks a bit about an ambitious superset of this. (In fact,
they mention Floyd's work on this, whom I remember acknowledged you in
a book, Erann, about the color of lunch trays or something. ;)
···@jpl.nasa.gov (Erann Gat) wrote in message news:<····················@k-137-79-50-101.jpl.nasa.gov>...
> So it is not at all clear to me that eliminating even a certain class of
> run-time errors actually has net positive utility.