[Haskell-cafe] Type-Level Programming

[Jason Dagit]

On Sat, Jun 26, 2010 at 11:23 AM, Andrew Coppin <andrewcoppin at btinternet.com
> wrote:

> Brandon S Allbery KF8NH wrote:
>
>> -----BEGIN PGP SIGNED MESSAGE-----
>> Hash: SHA1
>>
>> On 6/26/10 07:28 , Andrew Coppin wrote:
>>
>>
>>> Oh, right. So you mean that as well as being able to say "Foo Bar", you
>>> can
>>> say "Foo 7", where 7 is (of course) a value rather than a type. (?)
>>>
>>>
>>
>> A bit more than that:  imagine now that you can (a) replace that 7 with a
>> variable and (b) do math on it in a type declaration.
>>
>
> Right, I see.
>
> So is there a specific reason why Haskell isn't dependently typed then?


Or you could ask, So is there a specific reason why C isn't a functional
language?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100626/f9fe0687/attachment.html