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

Re: Why would anyone want opacity?

> Thus adding an ML-style type discipline would remove an ability that I
> now have.

but it is a tool, which as you point out, is seperate than the language.
languages by definition allow expression of some things and not others. are
you suggesting ML is type-checking your stuff on paper?