Re: [lojban] More on lojban programatic semantics: Strong typing and inferencing of types

[Robin Lee Powell <rlpowell@csclub.uwaterloo.ca>]

>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