Difference between revisions of "Talk:New CAT call"
| Line 1: | Line 1: | ||
''The most obvious observation is, that this weakens the new non-void typing mechanism, it is now possible to pass Void to feature f of class B2. This was probably not the intention of the programmer.'' - I do not understand this comment. Changing a:ANY into a:?STRING looks like a standard contravariant redefinition to me. Such redefinitions are sound. [[User:schoelle]] | ''The most obvious observation is, that this weakens the new non-void typing mechanism, it is now possible to pass Void to feature f of class B2. This was probably not the intention of the programmer.'' - I do not understand this comment. Changing a:ANY into a:?STRING looks like a standard contravariant redefinition to me. Such redefinitions are sound. [[User:schoelle]] | ||
| + | |||
| + | Changing ANY into STRING is covariance, changing STRING into ANY is covariance--[[User:Manus|manus]] 18:38, 8 November 2006 (CET) | ||
Revision as of 08:38, 8 November 2006
The most obvious observation is, that this weakens the new non-void typing mechanism, it is now possible to pass Void to feature f of class B2. This was probably not the intention of the programmer. - I do not understand this comment. Changing a:ANY into a:?STRING looks like a standard contravariant redefinition to me. Such redefinitions are sound. User:schoelle
Changing ANY into STRING is covariance, changing STRING into ANY is covariance--manus 18:38, 8 November 2006 (CET)
