Re: Suggestion: Allow functions returning abstract types in certain situations

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On Wed, 21 May 2014 19:19:21 -0400, Robert A Duff wrote:
>> Not sure what you mean about "redispatch".  You can't [re]dispatch
>> without converting to class-wide.
>
> Actually you can:
>
> 1. The Rosen's trick. You put a class-wide access discriminant into the
> abstract type and dispatch on it.
>
> 2. Consider:
>
>    type T is tagged ...;  -- Non-abstract
>    type S is abstract new T with ...; -- Abstract
>
> You convert to T, then that to T'Class and then dispatch on that. Never
> needed S'Class to make it crash.

Good points.  I still think it could work, given certain restrictions.
I should have said, "You can't [re]dispatch without obtaining a
class-wide view."  That's what would need to be prevented.

> Morale. Type semantics must be respected.

?

- Bob