[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Proposal for exception handling
Date: Fri, 15 Sep 95 13:40:43 -0400
From: "Guillermo J. Rozas" <firstname.lastname@example.org>
I'm very much in favor of the creation of new unique types, but I
don't believe in opaque types at all. They prevent me from writing
pretty-printers, debuggers, general parsers, etc.
How would you propose that these programs deal with procedures?
How should the language be changed to assist these programs?
Scheme already has opaque types, namely those synthesized from
procedures. The only deep difference between procedures and the
various other opaque type proposals is whether instances of a type can
be recognized as such.