[Haskell-cafe] Type-Level Programming
dagit at codersbase.com
Sat Jun 26 14:58:48 EDT 2010
On Sat, Jun 26, 2010 at 11:23 AM, Andrew Coppin <andrewcoppin at btinternet.com
> 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
>>> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe