From lojban+bncCMqBsa7nERCB6-bqBBoEdUbqiA@googlegroups.com Mon Feb 14 15:06:56 2011 Received: from mail-gy0-f189.google.com ([209.85.160.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pp7VM-0001Pw-M4; Mon, 14 Feb 2011 15:06:56 -0800 Received: by gyb11 with SMTP id 11sf5163051gyb.16 for ; Mon, 14 Feb 2011 15:06:46 -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=/COkHzvYx6SMqn32LFheDqJ+Z+lE9826gVS4M2cBlD8=; b=4oA+KcAiljPdpox/EEPMusuYfuRsuGxCMKwdlsDctc08ItAjTArF3VwgvJfieH5Nbh ovUnnwneiU1ve3M0Ns9Zaf5rITY6tuIN3WRA/moc4JVWePnKuelrcXI1Q1nkok36wMCa 7FaJD8LVgaYBhbtb5IpnXrtMCUMlOjoF1cb+0= 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=hk18tbfrB9/1TiA+kxqvzKHqmc6FZLO7WI5CKnMJmAJZVh1ZKeaXrL5hBrA8l9LqZ2 lNrK1r7lQ1VDMIDkZUmC31U1XQHKh7OJZvRIlQsB0zMxndi0XQp5bohKL8HOLzDbuyBQ SKydX7CWi8uFTHPkYIHghTywfewQeFHE+dr50= Received: by 10.91.21.38 with SMTP id y38mr449040agi.44.1297724801284; Mon, 14 Feb 2011 15:06:41 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.231.2.82 with SMTP id 18ls305411ibi.2.p; Mon, 14 Feb 2011 15:06:40 -0800 (PST) Received: by 10.42.171.8 with SMTP id h8mr372510icz.38.1297724800664; Mon, 14 Feb 2011 15:06:40 -0800 (PST) Received: by 10.42.171.8 with SMTP id h8mr372509icz.38.1297724800649; Mon, 14 Feb 2011 15:06:40 -0800 (PST) Received: from mail-iw0-f179.google.com (mail-iw0-f179.google.com [209.85.214.179]) by gmr-mx.google.com with ESMTPS id d9si747380ibq.3.2011.02.14.15.06.40 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 14 Feb 2011 15:06:40 -0800 (PST) Received-SPF: pass (google.com: domain of oges007@gmail.com designates 209.85.214.179 as permitted sender) client-ip=209.85.214.179; Received: by iwb12 with SMTP id 12so5374980iwb.10 for ; Mon, 14 Feb 2011 15:06:40 -0800 (PST) Received: by 10.231.144.70 with SMTP id y6mr3469555ibu.36.1297724799720; Mon, 14 Feb 2011 15:06:39 -0800 (PST) MIME-Version: 1.0 Received: by 10.231.25.132 with HTTP; Mon, 14 Feb 2011 15:06:09 -0800 (PST) In-Reply-To: References: From: Ross Ogilvie Date: Tue, 15 Feb 2011 10:06:09 +1100 Message-ID: Subject: Re: [lojban] I've been using haskell too much; mekso question To: lojban X-Original-Sender: oges007@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of oges007@gmail.com designates 209.85.214.179 as permitted sender) smtp.mail=oges007@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=0016e64c2a1ab42d09049c4619aa --0016e64c2a1ab42d09049c4619aa Content-Type: text/plain; charset=ISO-8859-1 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. --0016e64c2a1ab42d09049c4619aa Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hey

I'm not a Haskell (or any other functional language) program= mer, so I don't know what all these mean. But I'll take a stab (new= b 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 e= very term in the above. i.e. map (*2) [1..]
li 2 pi'i py
For appr= opriately overloaded pi'i, and assuming the about sequence is py.

> 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&= #39;o 9
I don't know a way to express ellipsis

> The sum o= f 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 def= ined 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 t= o the naturals.

It would be awesome if lojban mex had a (reasonably = developed) type system, and the operators overloaded appropriately. I belie= ve minimiscience was working on such a system, judging from their work on t= he bpfk mex operators page (http://www.lojban.org/tiki/tiki= -index.php?page=3DBPFK+Section%3A+MEX+Operators). I've messed aroun= d 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 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 "= 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.
--0016e64c2a1ab42d09049c4619aa--