From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Aaron Ecay Newsgroups: gmane.emacs.devel Subject: Re: The poor state of documentation of pcase like things. Date: Sat, 26 Dec 2015 15:52:48 -0500 Message-ID: <8760zlue3j.fsf@gmail.com> References: <20151216202605.GA3752@acm.fritz.box> <87io3m60bq.fsf@web.de> <877fk1nnk0.fsf@web.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1451163179 8094 80.91.229.3 (26 Dec 2015 20:52:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 26 Dec 2015 20:52:59 +0000 (UTC) To: Michael Heerdegen , emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Dec 26 21:52:58 2015 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 1aCvph-0005Tw-EF for ged-emacs-devel@m.gmane.org; Sat, 26 Dec 2015 21:52:57 +0100 Original-Received: from localhost ([::1]:39821 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aCvph-0002hC-0K for ged-emacs-devel@m.gmane.org; Sat, 26 Dec 2015 15:52:57 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38899) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aCvpd-0002gu-R7 for emacs-devel@gnu.org; Sat, 26 Dec 2015 15:52:54 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aCvpa-0004IP-Li for emacs-devel@gnu.org; Sat, 26 Dec 2015 15:52:53 -0500 Original-Received: from mail-yk0-x22a.google.com ([2607:f8b0:4002:c07::22a]:36150) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aCvpa-0004IL-HR for emacs-devel@gnu.org; Sat, 26 Dec 2015 15:52:50 -0500 Original-Received: by mail-yk0-x22a.google.com with SMTP id x184so262446497yka.3 for ; Sat, 26 Dec 2015 12:52:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:in-reply-to:references:user-agent:date:message-id :mime-version:content-type:content-transfer-encoding; bh=8ywPR3vmaxjEfNMMMCnoAqN0xHPYWiifMUQyU3Ru1Mg=; b=KHNE1npJaqTYqHqYVUCh2IK4lHO5NhKcyFEqavrBg6UACuDX2VGVgUoFcPc/kZ27M7 25ojJIn0w+rH7xFrFmKtiWbb+zeYEZyDVoqACJQUiYqbUdKM6inxtP0uEMY2qNdT63L4 0F/E1SUgVnCCfSY0l4oDAzfdfcbf+lvIUlsA0BowHRbCcI6dLbxx7M6gBTTZsqv9Z8K9 KWCnOz0N5IbWEbHm8AJ80S5WFZ0bN0+EamB2sitz2NFg+OmSqnEWF9iqPqglwqJV1zOP lpYjZukhaO1oxEXX799AlJNd4elQJdbBMH9V/2DClQP1LPVbqacfIx5O192EwykonGa7 dFcA== X-Received: by 10.13.213.193 with SMTP id x184mr40237369ywd.339.1451163169498; Sat, 26 Dec 2015 12:52:49 -0800 (PST) Original-Received: from localhost (71-88-221-59.dhcp.kgpt.tn.charter.com. [71.88.221.59]) by smtp.gmail.com with ESMTPSA id z201sm10622371ywz.41.2015.12.26.12.52.48 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 26 Dec 2015 12:52:48 -0800 (PST) In-Reply-To: <877fk1nnk0.fsf@web.de> User-Agent: Notmuch/0.21+26~g8881a61 (http://notmuchmail.org) Emacs/25.0.50.1 (x86_64-unknown-linux-gnu) X-Clacks-Overhead: GNU Terry Pratchett X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:4002:c07::22a 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:196935 Archived-At: Hi Michael, 2015ko abenudak 26an, Michael Heerdegen-ek idatzi zuen: >=20 > Richard Stallman writes: >=20 >> I am not convinced, but I won't argue about it. >=20 > I'm open to improvement suggestions, as long as they keep the thing > consistent. >=20 > We could try to define a new pattern offering destructuring looking less > "unusual" (though we already have `seq' provided by seq.el which has > very simple semantics). OTOH I think ` is already quite optimal for the > set of features it offers. >=20 > For the _ pattern, I guess we could reinvent it's meaning in pcase in > general. But I don't see how the resulting semantics could be made > equally simple as it is currently. >=20 > Just changing what _ does in pcase's ` to save a comma would IMHO be > what we call in German "verschlimmbessern" (my dictionary says you can > translate that into "disimprove"). Atoms (strings, numbers, and keywords) are simultaneously patterns and qpatterns. That is, one writes `(1 2) and not `(,1 ,2) to match a list containing 1 and 2 (though actually either form works). Why could _ not also be shared between the pattern and qpattern classes? (I guess part of the answer is aesthetics =E2=80=93 but I=E2=80=99m pointin= g out that the set of patterns and qpatterns is already non-disjoint.) --=20 Aaron Ecay