Bill Page <bill.p...@newsynthesis.org> writes: [...]
| 'None' on the other hand is called a "domain without any values" but | it is typically used in situations where one apparently needs to | temporarily avoid (duck?) the type checking, e.g. in the domain 'Any', | but also in several other places in Axiom: None is known to be an absurdity in the type system -- the type system, just like that of Haskell, makes the assumption at several places that all domains are inhabited. That is why I introduced the domain RuntimeValue, but I did not have time to replace all the uses of None. Almost all the places where None is used, it is actually intended to store a "bare" runtime value. As for Void, in a local tree it is a fundamental, i.e. there is no definable Rep for it. Again, I was preoccuped with much bigger fish so I did not merge the change. -- Gaby ------------------------------------------------------------------------------ Come build with us! The BlackBerry® Developer Conference in SF, CA is the only developer event you need to attend this year. Jumpstart your developing skills, take BlackBerry mobile applications to market and stay ahead of the curve. Join us from November 9-12, 2009. Register now! http://p.sf.net/sfu/devconf _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
