Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 16833 invoked from network); 22 May 2000 19:36:39 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 22 May 2000 19:36:39 -0000 Received: (qmail 26075 invoked by uid 40001); 22 May 2000 19:37:45 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 26072 invoked from network); 22 May 2000 19:37:44 -0000 Received: from mw.egroups.com (207.138.41.167) by zash.lupine.org with SMTP; 22 May 2000 19:37:44 -0000 X-eGroups-Return: sentto-44114-2817-959024262-mark=kli.org@returns.onelist.com Received: from [10.1.10.35] by mw.egroups.com with NNFMP; 22 May 2000 19:37:43 -0000 Received: (qmail 10986 invoked from network); 22 May 2000 19:37:42 -0000 Received: from unknown (10.1.10.26) by m1.onelist.org with QMQP; 22 May 2000 19:37:42 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.163) by mta1 with SMTP; 22 May 2000 19:37:42 -0000 Received: (qmail 98216 invoked by uid 0); 22 May 2000 19:37:41 -0000 Message-ID: <20000522193741.98215.qmail@hotmail.com> Received: from 12.128.10.26 by www.hotmail.com with HTTP; Mon, 22 May 2000 12:37:41 PDT X-Originating-IP: [12.128.10.26] To: lojban@egroups.com From: "Jorge Llambias" 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 12:37:41 PDT 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: 1182 Lines: 32 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 ------------------------------------------------------------------------ 72% off on Name brand Watches! Come and buy today and get free shipping! http://click.egroups.com/1/4011/3/_/17627/_/959024263/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com