[Haskell-cafe] Type-Level Programming

Andrew Coppin andrewcoppin at btinternet.com
Sat Jun 26 03:07:43 EDT 2010

wren ng thornton wrote:
> And, as Jason said, if you're just interested in having the same 
> programming style at both term and type levels, then you should look 
> into dependently typed languages.

Out of curiosity, what the hell does "dependently typed" mean anyway?

More information about the Haskell-Cafe mailing list