Talk:Agent problems

Revision as of 09:59, 21 November 2006 by Patrickr (Talk | contribs)

Is CAT Call

--Schoelle 09:26, 21 November 2006 (CET)

First comment: I assume you are missing a 'l_f := f'.

Second comment: this is a well known CAT call, caused by the (unsound) inheritance relation 'X[A] is subtype of X[B]' if 'A is subtype of B'.

--konradm

This article is in a very early state, so don't bother commenting to much on it. The intention is to list all the problems of the mechanism. Especially the fact that one has to type in a whole lot of type information for very little guarantees from the type system.

I am aware that I am not the first one to be aware of this problem. But I am not sure whether this problem is revered to as a CAT call. When it is, and when the new CAT call solution will indeed be implemented, what are the consequences? You can only make agents to features with arguments of detachable type?

Retrieved from "https://dev.eiffel.com/index.php?title=Talk:Agent_problems&oldid=6295"