HaloO Larry,
you wrote:
One can view the auto-coercion as a form of MMD if you allow the
autogeneration of any necessary coercion methods. However, it's not
exactly a coercion to Str or Int--it's more like promotion to a Scalar
that is able to pretend it is either Str or Int. Or you can view it
Luke Palmer wrote:
And in fact, one of the big questions that's always in the back of my
mind (that I'm not searching for an answer to, but I'm always observing
for one) is: what do @ and % mean these days?
Another idea: they define the subsystem of the type system that uses
structural subtyping
On Fri, 2005-03-04 at 21:12 +0100, Thomas Sandlaß wrote:
The roles themself beeing the least member of these classes---uninstanciable
pure
behaviour. The intersection type/role AB is multiple inheritance (or is that
roling?):
I don't understand the question (I don't recognize the words lubs
HaloO chromatic,
you wrote:
I don't understand the question (I don't recognize the words lubs or
glbs, for example), but I don't think this has anything at all to do
with multiple inheritance.
Sorry, that was given only in the picture:
lub = least upper bound (also known as supremum)
glb =
I wrote:
A|B lub (lowest upper bound)
/ \
/ \
A 0 B
/ \ / \
/ \ / \
/ AB \ glb (greatest lower bound)
/ 1 / \ 2 \
/ / 3 \ \
I was a bit
