Andrew Lentvorski wrote:
Sorta. Python's typing is dynamic and weak.
Python's typing is weak? That's not my understanding. It's merely
dynamic. How does one violate the type system in Python?
For example, the fact that None, for example, works just fine in a
boolean context frustrates me more than I would expect.
That's not weak typing. That's just functions accepting a wider range of
types than you'd like. :-)
In addition, you can lose optimization opportunities when faced with
weak typing. If I know that 100% of the time I have integers as
arguments to a function, I can throw away the time wasted to check that
I have integers rather than doubles. Weak typing can't do that.
That's not weak typing either. That's dynamic typing.
I believe that Haskell and OCaML are also
dynamic and strong in terms of typing.
Haskell is strongly statically typed. ML is statically typed, from what
I remember of it, never having actually coded with it, but I don't know
about OCaML. I'd be surprised if OCaML was weakly typed.
--
Darren New / San Diego, CA, USA (PST)
His kernel fu is strong.
He studied at the Shao Linux Temple.
--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
