[lojban-beginners] ok, lambda/currying-geeks needed (was Re: Re: "Once More")

[Sunnan <sunnan@handgranat.org>]

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.
>