[Haskell-cafe] Type-Level Programming
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?
"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
More information about the Haskell-Cafe