Changes http://wiki.axiom-developer.org/348EqualityInAny/diff
--
I disagree that the domain Any is a hack (if you mean this word in
the pejorative sense like "trick" or "quick fix"). Rather this domain
implements DuckTyping in Axiom and DuckTyping is an important method
of dealing with dynamic types in an otherwise statically typed
language. These methods are popular in languages like Java, Python,
Ruby etc. Since Martin showed earlier on this page how to deal with
types in a first order fashion, then I think it is now clear that
these methods could also be usefully applied in Axiom and the Axiom
library. I am not suggesting that this means that all Axiom code
should be written in this manner since clearly it is much less
efficient in general, but there are certainly cases where dynamic
typing is much more convenient.

Therefore I think we need to document and extend the domain Any
in a manner consistent with the use of DuckTyping in other modern
programming languages.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]

Reply via email to