From lojban+bncCJbznvHdFRCc0ubqBBoEUAXIhw@googlegroups.com Mon Feb 14 14:14:05 2011 Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pp6gD-0001n2-Le; Mon, 14 Feb 2011 14:14:05 -0800 Received: by fxm10 with SMTP id 10sf2792618fxm.16 for ; Mon, 14 Feb 2011 14:13:55 -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 :in-reply-to:references:from:date:message-id:subject: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=cxiSEjIaqOuHxTzyolMamjfq7F4GOwEhkyifG3MT2TA=; b=fFryXjIbWgwcD7VacOkvwBN1KA1RCgXRs8pypB/ojOO4zcrWbrJGQvbPIUf1WdRkN3 W7R3T+EzYmqMYW/0V6YZLxrmPeUvZvGvLgK+y7WicX5f3BLOiKFz5SJwgRAM8A60+Jmp gmkwvcMy4WKCLnRZfXomXN7Zt9impzyLOkWZU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:from :date:message-id:subject: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=rO9tmXnTVHOkF6PBHwb2WV2X3JHIrNwppfLdCZrFWLoU/JSJeVQ8WezHnk/vw+u1Tk k+PQkCA3/tpqlvOAi2MuR+ZJrXRTrF0GQsRr6G6tmsPAUV3UHEfcjmccf1ZafcDqPK0O ZYcCkclksB7ShBq96pig1851C4SJX9XNbubdI= Received: by 10.223.95.197 with SMTP id e5mr450651fan.36.1297721628831; Mon, 14 Feb 2011 14:13:48 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.223.15.10 with SMTP id i10ls2312001faa.1.p; Mon, 14 Feb 2011 14:13:47 -0800 (PST) Received: by 10.223.114.83 with SMTP id d19mr483698faq.20.1297721627783; Mon, 14 Feb 2011 14:13:47 -0800 (PST) Received: by 10.223.114.83 with SMTP id d19mr483697faq.20.1297721627748; Mon, 14 Feb 2011 14:13:47 -0800 (PST) Received: from mail-fx0-f52.google.com (mail-fx0-f52.google.com [209.85.161.52]) by gmr-mx.google.com with ESMTPS id e12si299756fav.4.2011.02.14.14.13.47 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 14 Feb 2011 14:13:47 -0800 (PST) Received-SPF: pass (google.com: domain of lytlesw@gmail.com designates 209.85.161.52 as permitted sender) client-ip=209.85.161.52; Received: by fxm5 with SMTP id 5so5411959fxm.39 for ; Mon, 14 Feb 2011 14:13:47 -0800 (PST) Received: by 10.223.95.199 with SMTP id e7mr5222357fan.39.1297721627567; Mon, 14 Feb 2011 14:13:47 -0800 (PST) MIME-Version: 1.0 Received: by 10.223.74.9 with HTTP; Mon, 14 Feb 2011 14:13:26 -0800 (PST) In-Reply-To: References: From: MorphemeAddict Date: Mon, 14 Feb 2011 17:13:26 -0500 Message-ID: Subject: Re: [lojban] I've been using haskell too much; mekso question To: lojban@googlegroups.com X-Original-Sender: lytlesw@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of lytlesw@gmail.com designates 209.85.161.52 as permitted sender) smtp.mail=lytlesw@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=00248c176baea0ffad049c455c61 --00248c176baea0ffad049c455c61 Content-Type: text/plain; charset=ISO-8859-1 I've heard of something called "Nimaudo" (I think) for reading math notations directly, but I haven't been able to find out much about it. It's similar to mekso, but may work better (better than bad is not necessarily good, though). stevo On Mon, Feb 14, 2011 at 1:54 AM, Alex Rozenshteyn wrote: > 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. > -- 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. --00248c176baea0ffad049c455c61 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
I've heard of something called "Nimaudo" (I think) for r= eading math notations directly, but I haven't been able to find out muc= h about it. It's similar to mekso, but may work better (better than bad= is not necessarily good, though).
=A0
stevo

On Mon, Feb 14, 2011 at 1:54 AM, Alex Rozenshtey= n <rpglover64@= gmail.com> wrote:
The simplest way for me to ask m= y question is to use a haskell analogy: does lojban allow maps, folds, infi= nite 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 abo= ve. 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 = know where to look for this in CLL, but I'm including it for completene= ss)
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 G= oogle Groups "lojban" group.
To post to this group, send email= to lojban@goo= glegroups.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.

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