[Haskell-cafe] Type-Level Programming
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