Received: from mail-pb0-f61.google.com ([209.85.160.61]:60186)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOib25n_BhDl6Yb-BBoEEhEapQ@googlegroups.com>)
	id 1SYVae-0006CV-BR; Sat, 26 May 2012 22:00:38 -0700
Received: by pbbro2 with SMTP id ro2sf2869151pbb.16
        for <multiple recipients>; Sat, 26 May 2012 22:00:22 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:from:date:message-id:subject
         :to:x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:x-google-group-id:list-post
         :list-help:list-archive:sender:list-subscribe:list-unsubscribe
         :content-type:content-transfer-encoding;
        bh=NQ9LeIxp56OD8kNYzBaNRULAnCQq5s/I+wCPGyQnmcA=;
        b=1YjgSS7FJznn8gs4vCPTGnxV3tvyROHGxwib8PjPfWi6riOKRXv81JmtrlJeeTviH/
         8UaDpjfc8Zmwl/z3SAHxorODukiIwO4sLcKaqrIDxIhuNuF29JO54ho+en9A0RKTJ3+O
         zwncbfyCVwt8/qXwEeB59WaxpQpnrXrIThxEk=
Received: by 10.50.11.230 with SMTP id t6mr350173igb.6.1338094821990;
        Sat, 26 May 2012 22:00:21 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.231.8.197 with SMTP id i5ls3150401ibi.9.gmail; Sat, 26 May
 2012 22:00:21 -0700 (PDT)
Received: by 10.50.188.232 with SMTP id gd8mr2066397igc.4.1338094821154;
        Sat, 26 May 2012 22:00:21 -0700 (PDT)
Received: by 10.50.188.232 with SMTP id gd8mr2066396igc.4.1338094821145;
        Sat, 26 May 2012 22:00:21 -0700 (PDT)
Received: from mail-ob0-f174.google.com (mail-ob0-f174.google.com [209.85.214.174])
        by gmr-mx.google.com with ESMTPS id ga4si1015611igc.1.2012.05.26.22.00.21
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 26 May 2012 22:00:21 -0700 (PDT)
Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.214.174 as permitted sender) client-ip=209.85.214.174;
Received: by obbtb18 with SMTP id tb18so3526146obb.19
        for <lojban@googlegroups.com>; Sat, 26 May 2012 22:00:20 -0700 (PDT)
Received: by 10.182.111.7 with SMTP id ie7mr3973310obb.14.1338094820850; Sat,
 26 May 2012 22:00:20 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.182.14.9 with HTTP; Sat, 26 May 2012 22:00:00 -0700 (PDT)
From: Alex Rozenshteyn <rpglover64@gmail.com>
Date: Sun, 27 May 2012 01:00:00 -0400
Message-ID: <CALm==BXt08L4OO1NgWsJqCV0n22M-C950g9bbKbqk6id=LbEzA@mail.gmail.com>
Subject: [lojban] Brivla for natural fold
To: Lojban <lojban@googlegroups.com>
X-Original-Sender: rpglover64@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of rpglover64@gmail.com designates 209.85.214.174 as permitted sender)
 smtp.mail=rpglover64@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.6 (/)
X-Spam_score: -0.6
X-Spam_score_int: -5
X-Spam_bar: /

"Sum of the series 1/2, 1/4, 1/8, ..."
"Product of all primes smaller than p"
"Concatenation of 'a', 'bc', 'def'"
etc.
can all be specified by "x1 is the result of the natural
fold/reduce/aggregation of collection/set/mass x2 using binary
function x3"

Taking {broda} to fill in for this brivla, {.i lo sumji broda be li
fi'u re ce'o fi'u vo ce'o fi'u bi lo'o ce'o lo porsi be fi lo'i
drata}, {.i lo pilji broda be lo'i mulna'usle poi cmamau py}, {.i lo
se te se lidne broda be me'o .a bu ce'o  by cy ce'o dy .e bu fy}

I think this is a desirable bit of expressivity, but I also think it
needs more work.

--=20
=A0=A0 =A0 =A0 =A0 =A0Alex R

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.
For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.