[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

limbo

i haven't seen any posts on this list, so excuse me if
i lower the tone...

i was wondering about a couple of limbo-related points,
and raised a couple of questions on the 9fans list.
maybe someone here has some ideas, or some discussion points.


is there a security reason why limbo doesn't support any sort of
polymorphism at all, even unions ?

it seems slightly surprising, as Alef seemed to provide quite a
nice form of polymorphism which looked as if it might adapt quite
well to a language such as limbo; it could also provide a nice
mechanism for dealing with variable argument lists.

also, what's the reason for '.' binding tighter than '->' ?
m->(Module->Type).function() seems rather contrived; the second
reference to the Module type is surely unnecessary because Type
has always got to be declared at the top level within m, so
m->Type.function() is unambiguous (and seems more intuitive, to me
at least)

  cheers,
    rog.