From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Update of pcase docs for the elisp manual Date: Tue, 26 Jan 2016 22:28:09 +0200 Message-ID: <83y4bcytk6.fsf@gnu.org> References: <87d1stznc6.fsf@web.de> <83io2k5yvg.fsf@gnu.org> <838u3c18w3.fsf@gnu.org> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1453840106 25009 80.91.229.3 (26 Jan 2016 20:28:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 26 Jan 2016 20:28:26 +0000 (UTC) Cc: michael_heerdegen@web.de, emacs-devel@gnu.org To: "John Wiegley" Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Jan 26 21:28:25 2016 Return-path: Envelope-to: ged-emacs-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 1aOADS-00078D-2B for ged-emacs-devel@m.gmane.org; Tue, 26 Jan 2016 21:27:54 +0100 Original-Received: from localhost ([::1]:46561 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aOADR-0005rM-E4 for ged-emacs-devel@m.gmane.org; Tue, 26 Jan 2016 15:27:53 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:58393) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aOADN-0005qU-7V for emacs-devel@gnu.org; Tue, 26 Jan 2016 15:27:50 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aOADM-00056k-9f for emacs-devel@gnu.org; Tue, 26 Jan 2016 15:27:49 -0500 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:43067) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aOADI-00054S-E6; Tue, 26 Jan 2016 15:27:44 -0500 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:1593 helo=HOME-C4E4A596F7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1aOADE-0003jU-QP; Tue, 26 Jan 2016 15:27:42 -0500 In-reply-to: (message from John Wiegley on Tue, 26 Jan 2016 11:35:37 -0800) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:198882 Archived-At: > From: John Wiegley > Cc: michael_heerdegen@web.de, emacs-devel@gnu.org > Date: Tue, 26 Jan 2016 11:35:37 -0800 > > >> I still vote for "literal" and "logical", since a literal pattern matches > >> by literally being the same value as the input, while a logical pattern > >> matches due to the logic of the pattern. > > > AFAIU, your division into logical and literal was different from the > > division between UPatterns and QPatterns. That's why I didn't use those > > terms. > > Could you explain a bit more how they were different? Such variance was > intended. Sorry, I didn't keep your text after I finished working on this. If you send it to me again, I will try to explain. > >> How are they simpler? > > > They are to me. They use undecorated symbols, and don't require the > > quote/unquote games. If that doesn't explain why they are simpler, then I > > don't know how to explain it, but the gut feeling is very real. > > Ah, so they are syntactical simpler, but not semantically simpler. No, they are also semantically different: they allow more generalized matching rules. > Hmm. Maybe we should drop the statement about simplicity and just > say we're presenting UPatterns first. Like I said: I don't own the manual... I do wonder why these minor nits trigger such a large portion of the comments. They are there to make the text easier to read, so it isn't too dry. If people dislike that style, it's fine with me to delete those parts, but what about "the meat"? Did I succeed to write something that can be studied and learned from?