I wrote:
A|B lub (lowest upper bound)
/ \
/ \
A 0 B
/ \ / \
/ \ / \
/ A&B \ glb (greatest lower bound)
/ 1 / \ 2 \
/ / 3 \ \
I was a bit
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 = gr
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 A&B is multiple inheritance (or is that
> "roling"?):
I don't understand the question (I don't recognize the wo
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 as
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
a