[Haskell-cafe] Type-Level Programming

Stephen Tetley stephen.tetley at gmail.com
Sat Jun 26 03:22:18 EDT 2010


On 26 June 2010 08:07, Andrew Coppin <andrewcoppin at btinternet.com> wrote:

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

How about:

"The result type of a function may depend on the argument value"
(rather than just the argument type)

The quoted bit rather than the parens bit is from Lennart Augustsson's
"Cayenne - a language with dependent types"

The papers on Cayenne might be an interesting start point as the field
was less mature at that time, so the early papers had more explaining
to do.

Best wishes

Stephen


More information about the Haskell-Cafe mailing list