From rlpowell@csclub.uwaterloo.ca Sun May 21 19:56:46 2000 Return-Path: Received: (qmail 13633 invoked from network); 22 May 2000 02:56:46 -0000 Received: from unknown (10.1.10.27) by m1.onelist.org with QMQP; 22 May 2000 02:56:46 -0000 Received: from unknown (HELO calum.csclub.uwaterloo.ca) (129.97.134.11) by mta2 with SMTP; 22 May 2000 02:56:45 -0000 Received: from calum.csclub.uwaterloo.ca (localhost [127.0.0.1]) by calum.csclub.uwaterloo.ca (8.9.3+Sun/8.9.3) with ESMTP id WAA19334; Sun, 21 May 2000 22:56:32 -0400 (EDT) Message-Id: <200005220256.WAA19334@calum.csclub.uwaterloo.ca> To: nellardo@concentric.net Cc: lojban@egroups.com Subject: Re: [lojban] More on lojban programatic semantics: Strong typing and inferencing of types In-Reply-To: Message from Brook Conner of "Wed, 17 May 2000 19:12:53 EDT." <3923246E.F4F73A84@concentric.net> Date: Sun, 21 May 2000 22:56:32 -0400 X-eGroups-From: Robin Lee Powell From: Robin Lee Powell >la xorxes. cusku di'e >> la brukcr cusku di'e >> >> >So, for example, you can use "poi" to annotate sumti with type >> >information, or simply an appropriate selbri for "declaring" variables: >> > >> >ko jarco la stokuot. poi mekso -- show the "stock-quote", which is a >> >mathematical expression >> >> For annotation {noi} is better than {poi}. >> {la stokout poi mekso} would be used to restrict the reference to >> {la stokuot} which is a mekso, as opposed to any other {la stokuot} >> which is something else. > >Hmmm. You raise an interesting trade-off. Since noi is "incidental", it >implies that there isn't another "la stokuot." somewhere that is >actually a different kind of "la stokuot." However, most PLs have >scoping rules that allow multiple things of the same name - the scoping >makes sure the referent of the name is always unambiguous. zo ni'o -Robin -- http://www.csclub.uwaterloo.ca/~rlpowell/ BTW, I'm male, honest. ... stripped of our uniqueness as human beings by Darwin, exposed to our own inadequacies by Freud, ... Power -- "the ability to bring about our desires" -- is all that we have left. --- Michael Korda, _Power!_