Bill Page <[email protected]> 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 --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
