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

Re: Why would anyone want opacity?

> (Standard) ML as _a language_ is defined with a particular static type
> discipline -- programs that violate it are illegal. 

i unfortunately have not seen the language definition. do you remember
offhand how it is specified exactly?

>			 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...