On Sat, Jun 26, 2010 at 11:23 AM, Andrew Coppin <[email protected] > 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?
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
