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

Re: Generalizing Types as Provable Invariants

On 2002-05-31T19:43:51-0400, Matthias Felleisen wrote:
> Think of C++. [...]
> Is adding more stuff to such type systems truly useful?

Yes.  A C++ without const would be truly and strictly less useful than
the real C++, with const.

Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
You can't spell "Chung-chieh" without the "Hun".

Attachment: pgp19004.pgp
Description: PGP signature