[Haskell-cafe] Type-Level Programming

[Stephen Tetley]

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