From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Wed, 17 Jul 1996 16:39:35 +0100
From: Roger Peppe rog@ohm.york.ac.uk
Subject: limbo
Topicbox-Message-UUID: 49247dd0-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19960717153935.PsCvk3OFtxO_3gkie6hgQZmybRQ-UnnVCa06-xOPmTo@z>

after browsing the limbo documents, i've got a few questions.
i hope nobody objects to these being raised on the 9fans list.

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)

flames to me only, not to the list, please.

  cheers,
    rog.