[Haskell-cafe] Type-Level Programming

Andrew Coppin andrewcoppin at btinternet.com
Sat Jun 26 14:23:09 EDT 2010


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?



More information about the Haskell-Cafe mailing list