On Friday, 28 February 2014 10:09:20 UTC-3, Toivo Henningsson wrote:
> (Related, why is :: used in parameter declarations, rather than <:? I can >> see that it "doesn't really matter" since concrete types are leaves in the >> graph, and so constraints on abstract types must be <: even if it says ::, >> but it seems confusing....) >> > > I'm not sure about what you mean by parameter declarations, but the > difference between :: and <: is not that between equality and inequality, > rather a set membership vs a subset relation: x::T asserts that x is an > instance of T, while S <: T tests that S is a subtype of T. > oh, ok, yes, i was muddled between instances and types. thanks, andrew
