From nellardo@concentric.net Mon May 22 16:37:33 2000 Return-Path: Received: (qmail 26108 invoked from network); 22 May 2000 23:37:32 -0000 Received: from unknown (10.1.10.142) by m4.onelist.org with QMQP; 22 May 2000 23:37:32 -0000 Received: from unknown (HELO uhura.concentric.net) (206.173.118.93) by mta3 with SMTP; 22 May 2000 23:37:32 -0000 Received: from marconi.concentric.net (marconi.concentric.net [206.173.118.71]) by uhura.concentric.net (8.9.1a/(98/12/15 5.12)) id TAA08486; Mon, 22 May 2000 19:37:32 -0400 (EDT) [1-800-745-2747 The Concentric Network] Errors-To: Received: from concentric.net ([216.112.226.144]) by marconi.concentric.net (8.9.1a) id TAA11346; Mon, 22 May 2000 19:37:31 -0400 (EDT) Message-ID: <3929C46A.343D452C@concentric.net> Date: Mon, 22 May 2000 19:37:48 -0400 Reply-To: nellardo@concentric.net Organization: Herds of Wild Buffalo Girls X-Mailer: Mozilla 4.7 (Macintosh; I; PPC) X-Accept-Language: en MIME-Version: 1.0 To: lojban@egroups.com Subject: Re: [lojban] More on lojban programatic semantics: Strong typing and inferencing of types References: <20000522193741.98215.qmail@hotmail.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit From: Brook Conner la xorxes cusku di'e > 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. Clearly, I need to re-read that section of the Red Book again. > 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. Ehm. Perhaps in lojban, and perhaps to a non-mathematician, but that seems like quite a broad assertion.... > The usefulness of > mekso has not yet been demonstrated. I've got no real data (or opinion) on this one..... > >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. In terms of programming, I'd say both forms would have applications. Some problems are mathematical in formulation, some are verbal, some are visual. Hmmm, Back to the drawing board, I think..... Brook