[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Proposed new type expression



It looks to me like this fills a real need and does so rather elegantly.
I think this would be a useful thing to include in the second edition,
and maybe to adopt as an informal standard before that, if any mechanism
for doing this is set up.  I don't much like the looks of DECLARE in
this role, but at present I have nothing better to propose.  It does
have a certain logic to it.

-- Scott