From lojban+bncCOib25n_BhC8o-PqBBoEPxDqpw@googlegroups.com Sun Feb 13 22:55:06 2011 Received: from mail-yi0-f61.google.com ([209.85.218.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PosKt-0002Tp-BZ; Sun, 13 Feb 2011 22:55:06 -0800 Received: by yia27 with SMTP id 27sf4364171yia.16 for ; Sun, 13 Feb 2011 22:54:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:mime-version:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=2q/DPEfKEBhotRQbEqzaqwci0fiwMn6IK11g85nrVTg=; b=bs00Q5zg+5A9ZMJsS7oeNYFPf4z3Brbnt3WfLwh5pmtY+mihJRqnWJUeDv+01DHTpi /e5IqXpXC/AlvX65tELawvaBbZOqM0j5VRIwJDUZrWmp8rwICvmtmI5xIosCZBpx9fX4 MNFzP909K5Hk+LoQJmAsKnYf7C9cFeIE8iETw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:date:message-id:subject:from :to:x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; b=ztUzQp54JyVSY3tXqjBqKrAZFU9tXJVOjuQq7mrmQlCgLmTbuNwnT5FSPn5Hef9MeA GA8u0LBSHtKOohHEo+UOKHSol255SLR7VRXNMWenDhKdx4Uq2P7NQIhqbU5zN2hKFgEL +/4tfx6/BkpMVyvGilsh0+zrq+jWNQYaEiweI= Received: by 10.151.9.17 with SMTP id m17mr473800ybi.14.1297666492291; Sun, 13 Feb 2011 22:54:52 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.231.2.82 with SMTP id 18ls5551905ibi.2.p; Sun, 13 Feb 2011 22:54:50 -0800 (PST) Received: by 10.42.218.4 with SMTP id ho4mr201036icb.36.1297666489938; Sun, 13 Feb 2011 22:54:49 -0800 (PST) Received: by 10.42.218.4 with SMTP id ho4mr201035icb.36.1297666489922; Sun, 13 Feb 2011 22:54:49 -0800 (PST) Received: from mail-iy0-f177.google.com (mail-iy0-f177.google.com [209.85.210.177]) by gmr-mx.google.com with ESMTPS id c4si288736ict.7.2011.02.13.22.54.49 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 13 Feb 2011 22:54:49 -0800 (PST) Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.210.177 as permitted sender) client-ip=209.85.210.177; Received: by mail-iy0-f177.google.com with SMTP id 42so4531710iyh.8 for ; Sun, 13 Feb 2011 22:54:49 -0800 (PST) MIME-Version: 1.0 Received: by 10.42.221.133 with SMTP id ic5mr4512942icb.212.1297666489772; Sun, 13 Feb 2011 22:54:49 -0800 (PST) Received: by 10.42.166.133 with HTTP; Sun, 13 Feb 2011 22:54:49 -0800 (PST) Date: Mon, 14 Feb 2011 01:54:49 -0500 Message-ID: Subject: [lojban] I've been using haskell too much; mekso question From: Alex Rozenshteyn To: Lojban 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.210.177 as permitted sender) smtp.mail=rpglover64@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=20cf30549e5b28ec9b049c388691 --20cf30549e5b28ec9b049c388691 Content-Type: text/plain; charset=ISO-8859-1 The simplest way for me to ask my question is to use a haskell analogy: does lojban allow maps, folds, infinite lists, list/set comprehensions? Alternatively, how would I say these: The ordered sequence of [1,2,3...]. The ordered sequence which results from doubling every term in the above. i.e. map (*2) [1..] The sets corresponding to the sequences above. The first 10 terms of the sequence [1,2...]. The sequence [1,2...10]. The sequence [1,3,5...9]. The sum of the above sequence. The product of the sequence 2 above. f(x,y) = (x+y)*y. (I'm fairly certain I know where to look for this in CLL, but I'm including it for completeness) foldl f [1..4]. (with f as defined above) [x^2 | x <- [1..]]. (the list comprehension) {x^2 | x is an element of the natural numbers}. (the set comprehension) I'm sure there are a few more that I haven't thought of. Also, anyone knows a simple math textbook or reference in lojban (that is, teaching math in lojban, not teaching lojban for math), I'd love to see it. -- Alex R -- 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@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en. --20cf30549e5b28ec9b049c388691 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable The simplest way for me to ask my question is to use a haskell analogy: doe= s lojban allow maps, folds, infinite lists, list/set comprehensions?
Alt= ernatively, how would I say these:
The ordered sequence of [1,2,3...]. The ordered sequence which results from doubling every term in the above. i= .e. map (*2) [1..]
The sets corresponding to the sequences above.
The first 10 terms of the sequence [1,2...].
The sequence [1,= 2...10].
The sequence [1,3,5...9].
The sum of the above sequence.
The product = of the sequence 2 above.
f(x,y) =3D (x+y)*y. (I'm fairly certain I k= now where to look for this in CLL, but I'm including it for completenes= s)
foldl f [1..4]. (with f as defined above)
[x^2 | x <- [1..]]. (the li= st comprehension)
{x^2 | x is an element of the natural numbers}. (the s= et comprehension)

I'm sure there are a few more that I haven'= ;t thought of.

Also, anyone knows a simple math textbook or reference in lojban (that = is, teaching math in lojban, not teaching lojban for math), I'd love to= see it.

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

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