CLU had a clue in all of this. In essence, it augments the range of all procedures with error types and gives a special, simple, pattern matching syntax for handling error-type returns. The implicit default handler for an error return does, in fact, re-raise an error -- and so is similar to dynamic exception handlers -- but always converts a re-raised error to an error of type "unhandled", thus making far, far more sense in terms of how modularity relates to PL design. Dollars to donuts that popular Java libraries have yet undiscovered vulnerabilities because Java uses dynamic handlers rather than just error returns.
-t _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
