Received: from mail-wi0-f192.google.com ([209.85.212.192]:43550) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XZIOi-0004NM-Ui for lojban-list-archive@lojban.org; Wed, 01 Oct 2014 04:48:50 -0700 Received: by mail-wi0-f192.google.com with SMTP id r20sf76717wiv.29 for ; Wed, 01 Oct 2014 04:48:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=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=gMBMDFleTAF4swNIa+hd2AWlceh9krqxM6/4ffshV+o=; b=mcvMISJypbpUvIfIUXVM2F7wffOFBybmLqZnec/44+nIYTjIFxcf0w3MV7jG6B+bZI 7vBpyK7vZr8YXRxZjqO4ClvGpBEd0ETo6rtiKt9ikwbE0sQgkhbhO5xK+oK+StZuKOwn 6KCDjKGnKdS6gDF7/Z2AWVGH5tRy/a1QQkOMoUOnDU5rxl69g6c9zGKuHpVAf90OxI0v lpCUSFsgT5SoLTyQYgYNaPINlIXP+IwzJYpWMoaBRjYoPUFCpT2XSipsAkS4iCSw5ygB zNIsk71nqcDVkbC1A5GvVtoHpNj+n//YpHfIgyv9foyX0FgKQ+dTlZagRYlMtLLzPIlv wmAg== X-Received: by 10.152.43.43 with SMTP id t11mr1038097lal.4.1412164116869; Wed, 01 Oct 2014 04:48:36 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.87.132 with SMTP id ay4ls150824lab.46.gmail; Wed, 01 Oct 2014 04:48:35 -0700 (PDT) X-Received: by 10.112.6.138 with SMTP id b10mr263965lba.18.1412164115806; Wed, 01 Oct 2014 04:48:35 -0700 (PDT) Received: from mail-wi0-x22c.google.com (mail-wi0-x22c.google.com [2a00:1450:400c:c05::22c]) by gmr-mx.google.com with ESMTPS id p7si38775wiz.1.2014.10.01.04.48.35 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 01 Oct 2014 04:48:35 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::22c as permitted sender) client-ip=2a00:1450:400c:c05::22c; Received: by mail-wi0-f172.google.com with SMTP id n3so253486wiv.5 for ; Wed, 01 Oct 2014 04:48:35 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.194.83.6 with SMTP id m6mr60799684wjy.90.1412164115689; Wed, 01 Oct 2014 04:48:35 -0700 (PDT) Received: by 10.194.175.167 with HTTP; Wed, 1 Oct 2014 04:48:35 -0700 (PDT) In-Reply-To: <20141001112349.GA1247@kuebelreiter.informatik.Uni-Osnabrueck.DE> References: <20141001075910.GU14210@stodi.digitalkingdom.org> <20141001112349.GA1247@kuebelreiter.informatik.Uni-Osnabrueck.DE> Date: Wed, 1 Oct 2014 15:48:35 +0400 Message-ID: Subject: Re: [lojban] CLL: I'd like to drop the formal grammars. From: Gleki Arxokuna To: lojban@googlegroups.com X-Original-Sender: gleki.is.my.name@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::22c as permitted sender) smtp.mail=gleki.is.my.name@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=047d7bb04c7a7afa3c05045b14b0 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --047d7bb04c7a7afa3c05045b14b0 Content-Type: text/plain; charset=UTF-8 2014-10-01 15:23 GMT+04:00 v4hn : > On Wed, Oct 01, 2014 at 12:59:10AM -0700, Robin Lee Powell wrote: > > In the age of ubiquitous internet, I feel that the entire Formal > > Grammars chapter simply doesn't belong in a printed book. > > > > Does anyone disagree? > > Yes. Please leave it in. The book is called _C_LL and the formal > grammar is _definitely_ part of the language. I will look at it > if I'm interested in a specific parse tree or the grammar itself and I > don't > have a computer with me (yes, this really does happen, even nowadays, > and it's always going to happen for as long as computers are not implanted) > > I also do hope the YACC grammar will be replaced by a PEG grammar > in the next version. > > If people feel really uncomfortable because there is no explanation > of the syntax of the grammar description, then we should _add_ one > instead of removing the grammar. > Exactly, we should add one. Who will do it? If no one then it's of absolutely no use and should return to the book when it gets that explanation. Otherwise it's still not Complete. > > > v4hn > -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. --047d7bb04c7a7afa3c05045b14b0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


2014-10-01 15:23 GMT+04:00 v4hn <me@v4hn.de>:
On Wed, Oct 01, 2014 at 12:59:10AM -0700,= Robin Lee Powell wrote:
> In the age of ubiquitous internet, I feel that= the entire Formal
> Grammars chapter simply doesn't belong in a printed book.
>
> Does anyone disagree?

Yes. Please leave it in. The book is called _C_LL and the formal
grammar is _definitely_ part of the language. I will look at it
if I'm interested in a specific parse tree or the grammar itself and I = don't
have a computer with me (yes, this really does happen, even nowadays,
and it's always going to happen for as long as computers are not implan= ted)

I also do hope the YACC grammar will be replaced by a PEG grammar
in the next version.

If people feel really uncomfortable because there is no explanation
of the syntax of the grammar description, then we should _add_ one
instead of removing the grammar.
Exactly, we should ad= d one. Who will do it?=C2=A0
If no one then it's of absolutel= y no use and should return to the book when it gets that explanation. Other= wise it's still not Complete.


v4hn

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
--047d7bb04c7a7afa3c05045b14b0--