26 Jun
2010
26 Jun
'10
2:58 p.m.
On Sat, Jun 26, 2010 at 11:23 AM, Andrew Coppin 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?