[Haskell-cafe] Type-Level Programming

[Andrew Coppin]

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 
now.)