Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 17133 invoked from network); 22 May 2000 23:36:29 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 22 May 2000 23:36:29 -0000 Received: (qmail 3010 invoked by uid 40001); 22 May 2000 23:37:36 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 2992 invoked from network); 22 May 2000 23:37:36 -0000 Received: from hp.egroups.com (208.50.144.93) by zash.lupine.org with SMTP; 22 May 2000 23:37:36 -0000 X-eGroups-Return: sentto-44114-2819-959038653-mark=kli.org@returns.onelist.com Received: from [10.1.10.38] by hp.egroups.com with NNFMP; 22 May 2000 23:37:34 -0000 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> Organization: Herds of Wild Buffalo Girls X-Mailer: Mozilla 4.7 (Macintosh; I; PPC) X-Accept-Language: en To: lojban@egroups.com References: <20000522193741.98215.qmail@hotmail.com> From: Brook Conner MIME-Version: 1.0 Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com Delivered-To: mailing list lojban@egroups.com Precedence: bulk List-Unsubscribe: Date: Mon, 22 May 2000 19:37:48 -0400 Reply-To: nellardo@concentric.net 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: 1516 Lines: 42 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 ------------------------------------------------------------------------ Failed tests, classes skipped, forgotten locker combinations. Remember the good 'ol days http://click.egroups.com/1/4053/3/_/17627/_/959038653/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com