[Haskell-cafe] Type-Level Programming

[Erik de Castro Lopo]

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
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/