26 Jun
2010
26 Jun
'10
2:23 p.m.
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?