[Types-sig] Interfaces

[Greg Stein]

On Tue, 21 Dec 1999, skaller wrote:
> Martijn Faassen wrote:
> > class Foo conforms FooInter:
> 
> How about
> 
> 	class Foo is a FooInter: ..

I don't think we should be worrying about how to explicitly declare and
associate interfaces with classes.

The type system can easily infer an interface from a class definition, and
we can work with that. I also believe they do not need to be explicit for
the type system to function.

A later phase can make interfaces explicit.

Cheers,
-g

-- 
Greg Stein, http://www.lyra.org/