Received: with ECARTIS (v1.0.0; list lojban-beginners); Wed, 14 Dec 2005 19:20:12 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.54) id 1Emjf9-0004up-UE for lojban-beginners-real@lojban.org; Wed, 14 Dec 2005 19:20:12 -0800 Received: from dionysos.oderland.com ([213.115.211.26]) by chain.digitalkingdom.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.54) id 1Emjf7-0004ue-4h for lojban-beginners@lojban.org; Wed, 14 Dec 2005 19:20:11 -0800 Received: from c-0b92e255.1210-16-64736c14.cust.bredbandsbolaget.se ([85.226.146.11]) by dionysos.oderland.com with esmtpa (Exim 4.52) id 1Emjf1-0007fT-HY for lojban-beginners@lojban.org; Thu, 15 Dec 2005 04:20:05 +0100 Subject: [lojban-beginners] Re: ok, lambda/currying-geeks needed (was Re: Re: "Once More") From: Sunnan To: lojban-beginners@lojban.org In-Reply-To: <20051214204125.GW3616@chain.digitalkingdom.org> References: <12d58c160512120619v1ed1cdcp49af8ae1b4f3f86a@mail.gmail.com> <925d17560512121409o663e2a7ekae04309af89c599a@mail.gmail.com> <762741971.20051213083403@mail.ru> <1134564388.5808.28.camel@localhost.localdomain> <925d17560512141053h13e65826t1f4e53636fab6088@mail.gmail.com> <20051214201522.GQ3616@chain.digitalkingdom.org> <925d17560512141230l30e18039la1747934194e20ff@mail.gmail.com> <20051214204125.GW3616@chain.digitalkingdom.org> Content-Type: text/plain Date: Thu, 15 Dec 2005 04:19:54 +0100 Message-Id: <1134616794.5808.108.camel@localhost.localdomain> Mime-Version: 1.0 Content-Transfer-Encoding: 7bit X-Antivirus-Scanner: Clean mail though you should still use an Antivirus X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - dionysos.oderland.com X-AntiAbuse: Original Domain - lojban.org X-AntiAbuse: Originator/Caller UID/GID - [0 0] / [47 12] X-AntiAbuse: Sender Address Domain - handgranat.org X-Source: X-Source-Args: X-Source-Dir: X-Spam-Score: -2.6 (--) X-archive-position: 2784 X-Approved-By: sunnan@handgranat.org X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: sunnan@handgranat.org Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners Content-Length: 923 On Wed, 2005-12-14 at 12:41 -0800, Robin Lee Powell wrote: > On Wed, Dec 14, 2005 at 05:30:42PM -0300, Jorge Llamb?as wrote: > > On 12/14/05, Robin Lee Powell wrote: > > > > > > {li su'i pa} is forethought mekso; (+ 1). > > > > > > > Right, but what does the operator "+" return when supplied a single > > argument? > > > > li su'i paboi paboi paboi paboi du li vo > > li su'i paboi paboi paboi du li ci > > li su'i paboi paboi du li re > > li su'i paboi du li pa? ui I love polish notation! I'm looking forward to learning this interesting system. > That's my inclination, yes. To curry it you'd need to use ma'o or > something. Isn't this documented somewhere? One of my long-term goals is to make a computer program to which I can speak math. (Well, I already have the scheme interpreter. I mean to which I can speak math in a language with with more writing/speaking isomorphy.)