Andreas Rossberg schrieb: > Rob Thorpe wrote: >> Hmm. You're right, ML is no-where in my definition since it has no >> variables. > > Um, it has. Mind you, it has no /mutable/ variables, but that was not > even what I was talking about.
Indeed. A (possibly nonexhaustive) list of program entities that (can) have type would comprise of mutable variables, immutable variables (i.e. constants and parameter names), and functions resp. their results. Regards, Jo -- http://mail.python.org/mailman/listinfo/python-list