[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Why would anyone want opacity?
| Cc: oz@nexus.yorku.ca, blume@cs.Princeton.EDU, gjs@martigny.ai.mit.edu,
| rrrs-authors@martigny.ai.mit.edu, oz@nexus.yorku.ca
| Date: Tue, 14 May 96 17:08:13 -0400
| From: "ozan s. yigit" <oz@nexus.yorku.ca>
| i unfortunately have not seen the language definition. do you remember
| offhand how it is specified exactly?
I have, but a long time ago. I can't quote it. However, unless my
memory fails completely, types were an integral part of it.
|
| > The constraints
| > are in the language, not in the tools/implementations.
|
| all languages are defined with constraints, and in able to express anything
| useful in them, you have to work with those constraints. so what is special
| about that? maybe you just mean "constraints different than the ones i know
| and love" and that is fine of course...
You seem have a habit of making arguments ad-hominem. I will not
otherwise reply to this.