Re: "Multiple conformance"?

Colin LeMahieu wrote:

> After encouragement to look at the problem again, I believe I found a
> much more elegant solution in the form and I'm putting it out for
> anyone else stumbling over this problem:
> 
> class a [G]
> 
> create
>   make
> 
> feature
>   make(input: G) is
>     do
>       feature1(input)
>       feature2(input)
>     end
>   feature1(source: BOUNDED) is
>     do
>       ...
>     end
> 
>   featue2(source: INDEXABLE) is
>     do
>       ...
>     end
> 
[...]

Try to compile with estudio. The compiler will give you the reasons
why this does not work.

> 
> I always felt the '->' operator was ugly, I may stop using it unless I
> find a reason that I'm missing.

Read more about the advantages of static typing.

-- 
Gerald Hammer