View source for Talk:Single-level call rule and generics

← Talk:Single-level call rule and generics

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

Look very close to my suggestion, only that I had suggested to reuse the keyword 'invariant' instead of introducing a new keyword 'monomorphic', that not average developer will understand --[[User:Schoelle|Schoelle]] 14:02, 15 July 2007 (CEST)

'''--[[User:Juliant|Juliant]] 19:16, 15 July 2007 (CEST)''' This is a different problem. Your proposal about invariant generics is about ''conformance'' between generic parameters, i.e. conformance between <e>X [A]</e> and <e>X [B]</e>. What I'm trying to point out is the ''use'' of features on a formal generic parameter which are covariantly redefined. The possible solution for ''like Current'' features with the monomorphic keyword is about the instantation of the generic. A monomorphic generic can only be instantiated with a monomorphic type.

You can also look at it that way: With your ''invariant'' generic, you can use the generic as a feature argument. With a ''monomorph'' generic, you can call covariant features which have ''like Current'' in the argument.

Return to Talk:Single-level call rule and generics.

Retrieved from "https://dev.eiffel.com/Talk:Single-level_call_rule_and_generics"

View source for Talk:Single-level call rule and generics

Navigation

Development

Wiki

Search

Tools