From nobody@digitalkingdom.org Wed Dec 14 04:46:42 2005 Received: with ECARTIS (v1.0.0; list lojban-beginners); Wed, 14 Dec 2005 04:46:42 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.54) id 1EmW1q-0007jz-7h for lojban-beginners-real@lojban.org; Wed, 14 Dec 2005 04:46:42 -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 1EmW1n-0007jr-4q for lojban-beginners@lojban.org; Wed, 14 Dec 2005 04:46:41 -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 1EmW1e-0004qr-IK for lojban-beginners@lojban.org; Wed, 14 Dec 2005 13:46:31 +0100 Subject: [lojban-beginners] ok, lambda/currying-geeks needed (was Re: Re: "Once More") From: Sunnan To: lojban-beginners@lojban.org In-Reply-To: <762741971.20051213083403@mail.ru> References: <12d58c160512120619v1ed1cdcp49af8ae1b4f3f86a@mail.gmail.com> <925d17560512121409o663e2a7ekae04309af89c599a@mail.gmail.com> <762741971.20051213083403@mail.ru> Content-Type: text/plain Date: Wed, 14 Dec 2005 13:46:28 +0100 Message-Id: <1134564388.5808.28.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: 2761 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 On Tue, 2005-12-13 at 08:34 +0600, Yanis Batura wrote: > {za'u re'u} seems very far-fetched: (greater than ?)-th-time > (according to the CLL). > > This could be applied not only to "one more time", but also to all > next times (times with ordinal numbers greater than current). > > I have carefully looked through the chapter 18 of the CLL and to my > surprise haven't found any cmavo with the following meanings: > > "??? preceding ordinal" (like the operator -- of the C) > > "??? succeeding ordinal"(like the operator ++ of the C) N.b. that those C operators (like CL's incf) alter the variable in place, unlike Peano's S(a). I prefer something like (define S (lambda (a) (+ a 1))). BTW, xorxes, are su'i and vu'u what Haskell programmers would call "curried"? If not, then a lambda wrapping of sorts might be needed, how is that done in lojban? I still haven't learned the mekso system but that's something I really want to do. > In Peano axioms of arithmetics > (http://en.wikipedia.org/wiki/Peano_axioms) the precedence operator is > the main tool to construct all natural numbers. > > This operator, if had existed, could easily be used to construct "once > more" or "again". > > > mi'e .ianis. >