From lojban+bncCML0xpmUARDu7ObqBBoEPIzdJw@googlegroups.com Mon Feb 14 15:10:54 2011 Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pp7ZC-0001aF-Bh; Mon, 14 Feb 2011 15:10:54 -0800 Received: by pwi2 with SMTP id 2sf3164059pwi.16 for ; Mon, 14 Feb 2011 15:10:44 -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: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=PE8dYhIF91E+sxdoc3irwciYAsxYJsvn95iNpTYX4P4=; b=FuwIP4t0vW7SrMyFlI3j+eSxmIBofyXSOq7kaD4lqbXs1jkcUufp4x5AYCjBLtuhbj CUOvY1CziCaLlGBK+KIc5rz+M2ioNTKV+KjPAve9tVyMv9lmbVVYIKXh0N0zj8D/SbsO oO7EwA3TVaTQjVnnRAHfxa8IkqdZsSS8M7ub8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references: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=X1TEEMNyD4hTR2Jbb3C9ebCGM+uqO2kvi5vVaMPeAojG8lDyH4GW5IvXN34IP5d5rg uq0HAEqKPeNmpwQS+kuYhAphGPwVr3CQsZVM32BWPcauUDTbmZYlFpuHNoIfbYn408BX oNXsWHYvH9EH24/PxhMzBjz8hP6ohH6rL0cQI= Received: by 10.142.165.13 with SMTP id n13mr318393wfe.55.1297725038670; Mon, 14 Feb 2011 15:10:38 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.2.41 with SMTP id 41ls7970607wfb.0.p; Mon, 14 Feb 2011 15:10:37 -0800 (PST) Received: by 10.142.241.17 with SMTP id o17mr924457wfh.41.1297725036975; Mon, 14 Feb 2011 15:10:36 -0800 (PST) Received: by 10.142.241.17 with SMTP id o17mr924456wfh.41.1297725036899; Mon, 14 Feb 2011 15:10:36 -0800 (PST) Received: from mail-px0-f175.google.com (mail-px0-f175.google.com [209.85.212.175]) by gmr-mx.google.com with ESMTPS id w13si3737140wfh.7.2011.02.14.15.10.36 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 14 Feb 2011 15:10:36 -0800 (PST) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.175 as permitted sender) client-ip=209.85.212.175; Received: by pxi17 with SMTP id 17so878073pxi.6 for ; Mon, 14 Feb 2011 15:10:36 -0800 (PST) MIME-Version: 1.0 Received: by 10.142.246.20 with SMTP id t20mr1214482wfh.308.1297725035951; Mon, 14 Feb 2011 15:10:35 -0800 (PST) Received: by 10.142.68.21 with HTTP; Mon, 14 Feb 2011 15:10:35 -0800 (PST) In-Reply-To: References: Date: Mon, 14 Feb 2011 18:10:35 -0500 Message-ID: Subject: Re: [lojban] I've been using haskell too much; mekso question From: Ian Johnson To: lojban@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.175 as permitted sender) smtp.mail=blindbravado@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=000e0cd2e760c8c7b6049c4627d7 --000e0cd2e760c8c7b6049c4627d7 Content-Type: text/plain; charset=ISO-8859-1 Ellipsis can be achieved with a variant of {zo'e li'o}, so for example {li pa ce li re ce li ci ce zo'e li'o du lo'i zmamulna'u} mu'o mi'e .latros. On Mon, Feb 14, 2011 at 6:06 PM, Ross Ogilvie wrote: > Hey > > I'm not a Haskell (or any other functional language) programmer, so I don't > know what all these mean. But I'll take a stab (newb warning, advice may be > wrong) > > > > The ordered sequence of [1,2,3...]. > lo porsi be tu'a lo banro bei lo'i rarna'u > vo'i lo'i rarna'u > > > > The ordered sequence which results from doubling every term in the above. > i.e. map (*2) [1..] > li 2 pi'i py > For appropriately overloaded pi'i, and assuming the about sequence is py. > > > > The sets corresponding to the sequences above.The first 10 terms of the > sequence [1,2...]. > lu'i py - use lu'i to turn things into sets > Not sure how to make ranged selection > > > > The sequence [1,2...10]. > > The sequence [1,3,5...9]. > li 1 ce'o 3 ce'o 5 ce'o 7 ce'o 9 > I don't know a way to express ellipsis > > > > The sum of the above sequence. > li si'i sy > > > The product of the sequence 2 above. > I don't know; there is no product equivelent to sigma notation in VUhU. > Maybe: > li na'u poipi'i te'u sy > > > > 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) > me'o ma'o fy boi xy boi y'y fancu fo me'o pi'i su'i xy boi y'y ku'e y'y > > > > foldl f [1..4]. (with f as defined above) > Don't know what this means. > > > > [x^2 | x <- [1..]]. (the list comprehension) > > {x^2 | x is an element of the natural numbers}. (the set comprehension) > lo'i pilji be ny bei ny > Not sure how to correctly restrict ny to the naturals. > > It would be awesome if lojban mex had a (reasonably developed) type system, > and the operators overloaded appropriately. I believe minimiscience was > working on such a system, judging from their work on the bpfk mex operators > page ( > http://www.lojban.org/tiki/tiki-index.php?page=BPFK+Section%3A+MEX+Operators). > I've messed around with some ideas, but not developed anything substantial > (got sidetracked with a lojban parser project). > > As for resources. The most significant work on maths in lojban that I know > of is a translation of the first chapter of a book about (higher) algebra. > It's on the page Robin linked. I started a translation of a chapter of Evans > and Gariepy, which I'm going to try and finish today. I think there are a > few pages coining some terminology ( > http://www.lojban.org/tiki/Math+terminology), but imo it is fairly > minimal. > > At the moment, I would agree with Robin that mekso is unsuitable for > anything more than simple things. I tend to use a more hybrid approach > though. > > mu'o mi'e ros > > -- > 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. --000e0cd2e760c8c7b6049c4627d7 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Ellipsis can be achieved with a variant of {zo'e li'o}, so for exam= ple {li pa ce li re ce li ci ce zo'e li'o du lo'i zmamulna'= u}

mu'o mi'e .latros.

On M= on, Feb 14, 2011 at 6:06 PM, Ross Ogilvie <oges007@gmail.com> wrote:
Hey

I'= m not a Haskell (or any other functional language) programmer, so I don'= ;t know what all these mean. But I'll take a stab (newb warning, advice= may be wrong)


> The ordered sequence of [1,2,3...].
lo porsi be tu'a lo banro bei lo'i rarna'u
vo'i lo'i= rarna'u


> The ordered sequence which resul= ts from doubling every term in the above. i.e. map (*2) [1..]
li 2= pi'i py
For appropriately overloaded pi'i, and assuming the about sequence is p= y.


> The sets corresponding to the sequences above.The first 10 terms o= f the sequence [1,2...].
lu'i py - use lu'i to turn things= into sets
Not sure how to make ranged selection


> The sequence [1,2...10].
> The sequence [1,3,5...9].
li 1 ce'o 3 ce'o 5 ce'o= 7 ce'o 9
I don't know a way to express ellipsis


> The sum of the above sequence.
li si'i sy

> The product of the sequence 2 above.
I don't know; there is no product equivelent to sigma notation in VUhU.= Maybe:
li na'u poipi'i te'u sy


>= ; 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 completeness)
me'o ma'o fy boi xy boi y'y fancu fo me'o pi'i su'i= xy boi y'y ku'e y'y


> foldl f [1..= 4]. (with f as defined above)
Don't know what this means.


> [x^2 | x <- [1..]]. (the list comprehension)
> {x^2 | x is an element of the natural numbers}. (the set comprehension= )
lo'i pilji be ny bei ny
Not sure how to correctly restric= t ny to the naturals.

It would be awesome if lojban mex had a (reaso= nably developed) type system, and the operators overloaded appropriately. I= believe minimiscience was working on such a system, judging from their wor= k on the bpfk mex operators page (http://= www.lojban.org/tiki/tiki-index.php?page=3DBPFK+Section%3A+MEX+Operators= ). I've messed around with some ideas, but not developed anything subst= antial (got sidetracked with a lojban parser project).

As for resources. The most significant work on maths in lojban that I k= now of is a translation of the first chapter of a book about (higher) algeb= ra. It's on the page Robin linked. I started a translation of a chapter= of Evans and Gariepy, which I'm going to try and finish today. I think= there are a few pages coining some terminology (http://www.lojban.org/tiki/= Math+terminology), but imo it is fairly minimal.

At the moment, I would agree with Robin that mekso is unsuitable for an= ything more than simple things. I tend to use a more hybrid approach though= .

mu'o mi'e ros

--
You received this message because you are subscribed to the Google Groups &= quot;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/lojba= n?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.
--000e0cd2e760c8c7b6049c4627d7--