[Haskell-cafe] Type-Level Programming

Erik de Castro Lopo mle+hs at mega-nerd.com
Sat Jun 26 18:55:01 EDT 2010

Andrew Coppin wrote:

> Right, I see.
> So is there a specific reason why Haskell isn't dependently typed then?

One problem with dependent types as I understand it is that type
inference is not guaranteed to terminate.

Erik de Castro Lopo

More information about the Haskell-Cafe mailing list