Re: [Haskell-cafe] Type-Level Programming

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/