From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: John Wiegley Newsgroups: gmane.emacs.devel Subject: Re: Update of pcase docs for the elisp manual Date: Tue, 26 Jan 2016 11:35:37 -0800 Message-ID: References: <87d1stznc6.fsf@web.de> <83io2k5yvg.fsf@gnu.org> <838u3c18w3.fsf@gnu.org> Reply-To: John Wiegley NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1453836992 5836 80.91.229.3 (26 Jan 2016 19:36:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 26 Jan 2016 19:36:32 +0000 (UTC) Cc: michael_heerdegen@web.de, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Jan 26 20:36:24 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 1aO9Pb-0001cX-CZ for ged-emacs-devel@m.gmane.org; Tue, 26 Jan 2016 20:36:23 +0100 Original-Received: from localhost ([::1]:46359 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aO9Pa-00028e-Ob for ged-emacs-devel@m.gmane.org; Tue, 26 Jan 2016 14:36:22 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:52931) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aO9PM-00028Y-7W for emacs-devel@gnu.org; Tue, 26 Jan 2016 14:36:09 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aO9PL-0000OR-1A for emacs-devel@gnu.org; Tue, 26 Jan 2016 14:36:08 -0500 Original-Received: from mail-pa0-x230.google.com ([2607:f8b0:400e:c03::230]:35600) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aO9PH-0000MI-Ll; Tue, 26 Jan 2016 14:36:03 -0500 Original-Received: by mail-pa0-x230.google.com with SMTP id ho8so102117598pac.2; Tue, 26 Jan 2016 11:36:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:in-reply-to:date:message-id:references :user-agent:reply-to:mail-followup-to:mime-version:content-type; bh=1+kRITzDXVsjgp343s4xc9dYYMXH8keDi9cyf0eF/vs=; b=kpxv5WUP/PUdBYrPlBp+3MoHIFzraY3Yf5gR8OiFbktu5swTlDl853XfdnbD5h0m8C y8+Tq9LWw8G3mFlZlonMlXMjahbj4LVAvZp6Wy0W7QCBZ2DdqmLpdd4RyzXtNmk50nmK JVK8NUU0ewTnyDDma3aRmYV6TpL8T594SWow/d/EQXLwYp2bIFYp70cXjO2fbNxXu7AX ruEm66f/JC+k+fbaO8x7pntIVvw0IDraO2qSERX7yKCcXptpwbRMGqUUlYYKBtPZdEoc SOb1vxHAXBIfbs5XPMHpCkJlm1OWXbRdxMtyMsyNvyJHBQ/KoeUaYay/1lDy8K+DK9yC 4Tqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:in-reply-to:date:message-id :references:user-agent:reply-to:mail-followup-to:mime-version :content-type; bh=1+kRITzDXVsjgp343s4xc9dYYMXH8keDi9cyf0eF/vs=; b=EP/VzP3QRP9iSXz9Um9U/3LQ2d/GVhpHP2TNnZ2UXPvj5WS8FAbGzVaRlUfjkDVlY1 Y3HDl6M/4WCWhF6QYTXZSD34k+3WB2n9TjzYuzDnZOXWPEchNgwWg+CPMylWZeF58lkN Iqy2qRt+07xfklu7QFGSmrQizSAnBEf22dNlrhLvKft4W/I5eRppBD5HMK4iMPWLRZ5T R4SA37X8/ZGO7BmmyzQuRCYZ0dmljzc4Fbx2wdbAbAkpTCxgd9p+Rx7qr0l7GA542mW3 AtpiBvq0XEIHxvsPLx7kHlo724hMJ4JW2V7jHXm+zH/7MThOykFVBiWDsoX/e0UO1sfG XScQ== X-Gm-Message-State: AG10YOQk0RrcFM/XnSMBq8tfxxzwFDtaho6wdrpps8UKU6FBmhivtRIPmTlk8wtyPmllnw== X-Received: by 10.66.253.170 with SMTP id ab10mr36331261pad.125.1453836962849; Tue, 26 Jan 2016 11:36:02 -0800 (PST) Original-Received: from Vulcan.local (76-234-68-79.lightspeed.frokca.sbcglobal.net. [76.234.68.79]) by smtp.gmail.com with ESMTPSA id xa9sm3540661pab.44.2016.01.26.11.36.01 (version=TLS1 cipher=AES128-SHA bits=128/128); Tue, 26 Jan 2016 11:36:02 -0800 (PST) X-Google-Original-From: John Wiegley Original-Received: by Vulcan.local (Postfix, from userid 501) id 4C43112949DC6; Tue, 26 Jan 2016 11:36:01 -0800 (PST) In-Reply-To: <838u3c18w3.fsf@gnu.org> (Eli Zaretskii's message of "Tue, 26 Jan 2016 20:41:00 +0200") User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.5 (darwin) Mail-Followup-To: Eli Zaretskii , michael_heerdegen@web.de, emacs-devel@gnu.org X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:400e:c03::230 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:198876 Archived-At: >>>>> Eli Zaretskii writes: > The alternatives you propose are longer, which makes it harder to produce > palatable descriptions. And there's a long tradition of using them in Emacs. > But I don't own the manual; if you want to get rid of those terms, go ahead > and make the change. I'll give it some more thought. >> 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. >> 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. Hmm. Maybe we should drop the statement about simplicity and just say we're presenting UPatterns first. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2