Talk:New CAT call: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| 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 17: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)