Does it make sense to remove slots ?
Massimo Dentico
m.dentico at virgilio.it
Mon Nov 8 07:42:48 PST 2004
Massimo Dentico wrote:
> So the vagueness of the term [object in Slate] is on purpose,
> deliberate.
Contrary to current uses, where the term is *unconsciously*
fuzzy.
> This means that every abstraction is first-class, subject
> to manipulation.
Specifically for the case discussed in this thread,
even types and operations on types are obects:
2.4 Type Annotations:
http://slate.tunes.org/doc/progman/node10.html
The type system and inference system in Slate is part
of the standard library, ..
also see 2.12 Types (http://slate.tunes.org/doc/progman/node25.html).
So, is up to you to define a correct method of subtyping and
so a correct subtype relation (wich is different from establishing
a behavioral equivalence relation), in terms of the underline
Slate semantics.
Regards.
--
Massimo Dentico
More information about the Slate
mailing list