[Haskell-cafe] Type-Level Programming

Andrew Coppin andrewcoppin at btinternet.com
Sat Jun 26 07:28:22 EDT 2010


Liam O'Connor wrote:
> It means that not only can values have types, types can have values.
>   

Uh, don't types have values *now*?

> An example of the uses of a dependent type would be to encode the
> length of a list in it's type.
>   

Oh, right. So you mean that as well as being able to say "Foo Bar", you 
can say "Foo 7", where 7 is (of course) a value rather than a type. (?)



More information about the Haskell-Cafe mailing list