[Haskell-cafe] Type-Level Programming

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

Stephen Tetley wrote:
> 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)

Hmm. This sounds like one of those things where the idea is simple, but 
the consequences are profound...

(I have once or twice wanted to do this in fact, but I don't recall why 

More information about the Haskell-Cafe mailing list