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

From: "Jorge Llambias" <[email-masked]>
Date: Mon, 22 May 2000 12:37:41 PDT

la lojbab cusku di'e

>The mekso grammar was specifically designed to allow such
>overloading. Almost any grammatical construct can be converted into a
>mekso component of some (probably appropriate) type.

The converse is also true, of course. Any mekso can be converted
into an ordinary grammatical construct, usually making
much more clear what you're talking about. The usefulness of
mekso has not yet been demonstrated.

>In particular, there is no requirement that mekso operate on
>numbers. String operations like concatenation certainly can be
>expressed using mathematical language.

Yes, and mathematical language is not restricted or required
to be in mekso either.

co'o mi'e xorxes

________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com