Sam Mason <[EMAIL PROTECTED]> writes:
> The best idea I've seen is another one from Microsoft Research.
> It's an extension to C that allows the the programmer to use the
> type system to specify the lifetime of things.
I'm worried about putting too many thing in types. For example many
people believe exception specifications in Java are a mistake.
Such problems often don't show up until someone tries to write big
programs. It's not sufficient that it appears to work for toy
programs.
Putting many things in types is generally problematic for all kinds of
polymorphism.
--
__("< Marcin Kowalczyk
\__/ [EMAIL PROTECTED]
^^ http://qrnik.knm.org.pl/~qrczak/
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
