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