From dmb@sgi.com Mon Jun 26 19:00:06 2000 Return-Path: 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 Subject: Re: [lojban] As Kunsunlundz said... [was RE: RECORD:containers] In-reply-to: Your message of "Mon, 26 Jun 2000 17:06:40 PDT." <20000627000640.44880.qmail@hotmail.com> Date: Mon, 26 Jun 2000 20:59:57 -0500 From: David Bowen 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