Fergus Henderson <[EMAIL PROTECTED]> writes:
> > Could you give an example of language syntax that you feel would be
> > better than putting these properties in the type system, while still
> > allowing similar compile-time checking?
>
> I already gave NU-Prolog and Eiffel as examples.
> Those l
Lennart Augustsson <[EMAIL PROTECTED]> writes:
> > (I believe that there are type
> > theories with dependent types, such as the one in Thompson's _Type
> > Theory and Functional Programming_, where each term has at most one
> > type; so it can't just be dependent types that disallow principal
