From sentto-44114-3265-962071208-mark=kli.org@returns.onelist.com Tue Jun 27 01:59:05 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 1797 invoked from network); 27 Jun 2000 01:59:04 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 27 Jun 2000 01:59:04 -0000 Received: (qmail 24832 invoked by uid 40001); 27 Jun 2000 02:00:12 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 24829 invoked from network); 27 Jun 2000 02:00:11 -0000 Received: from mq.egroups.com (207.138.41.138) by zash.lupine.org with SMTP; 27 Jun 2000 02:00:11 -0000 X-eGroups-Return: sentto-44114-3265-962071208-mark=kli.org@returns.onelist.com Received: from [10.1.10.36] by mq.egroups.com with NNFMP; 27 Jun 2000 01:59:55 -0000 Received: (qmail 14897 invoked from network); 27 Jun 2000 02:00:02 -0000 Received: from unknown (10.1.10.27) by m2.onelist.org with QMQP; 27 Jun 2000 02:00:02 -0000 Received: from unknown (HELO sgi.com) (192.48.153.1) by mta2 with SMTP; 27 Jun 2000 02:00:02 -0000 Received: from ledzep.cray.com (relay.cray.com [137.38.226.97]) by sgi.com (980327.SGI.8.8.8-aspam/980304.SGI-aspam: SGI does not authorize the use of its proprietary systems or networks for unsolicited or bulk email from the Internet.) via ESMTP id SAA01159 for ; Mon, 26 Jun 2000 18:59:42 -0700 (PDT) mail_from (dmb@sgi.com) Received: from daisy-e185.americas.sgi.com (daisy.cray.com [128.162.185.214]) by ledzep.cray.com (SGI-SGI-8.9.3/craymail-smart-nospam1.0) with ESMTP id UAA96128 for ; Mon, 26 Jun 2000 20:59:58 -0500 (CDT) Received: from spartan.americas.sgi.com (spartan.americas.sgi.com [128.162.191.98]) by daisy-e185.americas.sgi.com (980427.SGI.8.8.8/SGI-server-1.6) with ESMTP id UAA30458 for ; Mon, 26 Jun 2000 20:59:57 -0500 (CDT) Received: from spartan.americas.sgi.com by spartan.americas.sgi.com (980427.SGI.8.8.8/SGI-client-1.6c) via ESMTP id UAA26899; Mon, 26 Jun 2000 20:59:57 -0500 (CDT) Message-Id: <200006270159.UAA26899@spartan.americas.sgi.com> To: lojban@egroups.com In-reply-to: Your message of "Mon, 26 Jun 2000 17:06:40 PDT." <20000627000640.44880.qmail@hotmail.com> From: David Bowen 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, 26 Jun 2000 20:59:57 -0500 Subject: Re: [lojban] As Kunsunlundz said... [was RE: RECORD:containers] Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit la xorxes cusku di'e > >I agree with this. The "potential botpi", or "botpi containing >air" are clearly cop-outs to kid ourselves that we are using >the language properly, because that is not what we have in mind >when we use {botpi} for English "bottle". English "bottle" >corresponds much more closely to the single argument function >Bottle(x) than to the two valued BottleContaining(x,y), which >is what {botpi} is. Presumably a fluent Lojban speaker would >not be influenced by the English keyword and would not tend >to associate an empty bottle with the predicate {botpi} unless >for some reason considering potential contents makes sense in >that context. But we're not there yet. > >co'o mi'e xorxes Well, do we have a Curry operator in Lojban? For those not up on mathematical in jokes, treating a function of two arguments F(x,y) as (F(x))(y) is often referred to as currying, I assume after Haskell Curry. Break out the chutney and rice, we're having curried functions for dinner tonight. co'o mi'e deiv ------------------------------------------------------------------------ Get a NextCard Visa, in 30 seconds! 1. Fill in the brief application 2. Receive approval decision within 30 seconds 3. Get rates as low as 2.9% Intro or 9.9% Fixed APR http://click.egroups.com/1/5200/4/_/17627/_/962071208/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com