Message-Id: <200005220256.WAA19334@calum.csclub.uwaterloo.ca>
To: nellardo@concentric.net
Cc: lojban@egroups.com
In-Reply-To: Message from Brook Conner <nellardo@concentric.net>  of "Wed, 17 May 2000 19:12:53 EDT." <3923246E.F4F73A84@concentric.net> 
From: Robin Lee Powell <rlpowell@csclub.uwaterloo.ca>
MIME-Version: 1.0
Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com
Precedence: bulk
Date: Sun, 21 May 2000 22:56:32 -0400
Subject: Re: [lojban] More on lojban programatic semantics: Strong typing and inferencing of types 
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 1527
Lines: 37

>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!_

------------------------------------------------------------------------
High rates giving you headaches? The 0% APR Introductory Rate from 
Capital One. 9.9% Fixed thereafter!
http://click.egroups.com/1/3010/3/_/17627/_/958964206/
------------------------------------------------------------------------

To unsubscribe, send mail to lojban-unsubscribe@onelist.com