From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "David A. Wheeler" Newsgroups: gmane.lisp.guile.devel Subject: Re: Adding to guile curly-infix (SRFI 105), neoteric- & sweet-expressions Date: Fri, 31 Aug 2012 23:16:24 -0400 (EDT) Message-ID: References: <503B57FE.6020606@gentoo.org> Reply-To: dwheeler@dwheeler.com NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1346469394 27962 80.91.229.3 (1 Sep 2012 03:16:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 1 Sep 2012 03:16:34 +0000 (UTC) Cc: almkglor@gmail.com, guile-devel@gnu.org To: hkBst@gentoo.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Sep 01 05:16:36 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1T7eCG-0000dt-5D for guile-devel@m.gmane.org; Sat, 01 Sep 2012 05:16:32 +0200 Original-Received: from localhost ([::1]:34118 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1T7eCD-0005e7-L4 for guile-devel@m.gmane.org; Fri, 31 Aug 2012 23:16:29 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:53101) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1T7eCA-0005dz-Jh for guile-devel@gnu.org; Fri, 31 Aug 2012 23:16:27 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1T7eC9-000449-JS for guile-devel@gnu.org; Fri, 31 Aug 2012 23:16:26 -0400 Original-Received: from aibo.runbox.com ([91.220.196.211]:32781) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1T7eC9-00043v-CD for guile-devel@gnu.org; Fri, 31 Aug 2012 23:16:25 -0400 Original-Received: from [10.9.9.130] (helo=fenris.runbox.com) by bars.runbox.com with esmtp (Exim 4.71) (envelope-from ) id 1T7eC8-0007O2-7U; Sat, 01 Sep 2012 05:16:24 +0200 Original-Received: from mail by fenris.runbox.com with local (Exim 4.50) id 1T7eC8-0008Kj-67; Sat, 01 Sep 2012 05:16:24 +0200 Content-Disposition: inline Original-Received: from [74.96.178.110] by secure.runbox.com with http (uid:258406) (RMM 4.0); Sat, 01 Sep 2012 03:16:24 GMT X-Mailer: RMM In-Reply-To: <503B57FE.6020606@gentoo.org> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 91.220.196.211 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:14835 Archived-At: Marijn: > About the proposed function call syntax (really dislike the `neoteric' > (new poetic?) name), Why? And do you have some suggested alternatives? We used to call them "mo= dern", but abbreviating that to "m-expressions" was confusing. Something b= eginning with "n" preferred. > I do want to make some remarks. It seems that > your transformation rules depend on a non-parenthesized context (or > some other unspecified constraint), otherwise your rule e{...} |-> (e > {...}) can be applied to itself and leads to e{...} |-> ((((e > {...})))) among other things, such as: No, if I understand you correctly, because the e{...} transformation rule *= ONLY* applies when there is no space between "e" and the opening brace. Th= e result puts a space BETWEEN the e and the opening brace, so that is the e= nd. E.G.: f{n - 1} maps to (f {n - 1}) maps to (f (- n 1)) > cons{1}{2} |-> (cons{1}){2} |-> (cons 1){2} |-> ((cons 1){2}) |-> > ((cons 1) 2) Yes, that's correct. > but also >=20 > cons{1}{2} |-> cons{1} 2 |-> cons 1 2 |-> (cons 1 2). No. The spec is that they go left-to-right, so the leftmost {1} gets appli= ed first, and thus the previous result is as shown. > Can you shed some light on these issues? Well, I *hope* that helps. I'd be happy to try to explain things, and cert= ainly want to know of problems. If you want to get into details, I suggest= joining the SRFI-105 mailing list or the "readable-discuss" mailing lists,= since the guile-devel list isn't really the right list for that. --- David A. Wheeler