From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Replace trivial pcase occurrences in the Emacs sources Date: Wed, 31 Oct 2018 20:11:58 +0200 Message-ID: <83in1ihtox.fsf@gnu.org> References: <83tvlcsnee.fsf@gnu.org> <86mur137n8.fsf@gmail.com> <20181029130132.GB4195@ACM> <20181029134722.GC4195@ACM> <87lg6gifnb.fsf@web.de> <87muqwxs7m.fsf@ericabrahamsen.net> <83h8h3jlyd.fsf@gnu.org> <8b897e43-679b-d38c-e185-0efe19c09342@yandex.ru> <83y3aei08p.fsf@gnu.org> <83o9bahz6i.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1541009467 13213 195.159.176.226 (31 Oct 2018 18:11:07 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 31 Oct 2018 18:11:07 +0000 (UTC) Cc: emacs-devel@gnu.org To: =?utf-8?Q?Cl=C3=A9ment?= Pit-Claudel Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Oct 31 19:11:03 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gHuxJ-0003L2-LC for ged-emacs-devel@m.gmane.org; Wed, 31 Oct 2018 19:11:01 +0100 Original-Received: from localhost ([::1]:32894 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHuzQ-0003VB-5k for ged-emacs-devel@m.gmane.org; Wed, 31 Oct 2018 14:13:12 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:52156) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHuyk-0003U2-Nl for emacs-devel@gnu.org; Wed, 31 Oct 2018 14:12:33 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gHuya-0005oX-1H for emacs-devel@gnu.org; Wed, 31 Oct 2018 14:12:25 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:40277) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHuyS-0005kh-F2; Wed, 31 Oct 2018 14:12:14 -0400 Original-Received: from [176.228.60.248] (port=1846 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1gHuyN-0008Mj-Rm; Wed, 31 Oct 2018 14:12:11 -0400 In-reply-to: (message from =?utf-8?Q?Cl=C3=A9ment?= Pit-Claudel on Wed, 31 Oct 2018 13:48:42 -0400) 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.21 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" Xref: news.gmane.org gmane.emacs.devel:230892 Archived-At: > From: Clément Pit-Claudel > Date: Wed, 31 Oct 2018 13:48:42 -0400 > > >> I stole the term from Clement here: > >> http://lists.gnu.org/archive/html/emacs-devel/2018-10/msg00590.html > > > > Ah, the elements that are assigned by destructuring? I indeed hoped > > we could identify in some way the patterns which satisfy that > > condition. I didn't give up yet. > > Regarding the word "holes": I think these ","-prefixed symbols are typically called "pattern-matching variables", or "placeholders". "holes" is the more colloquial term, the idea being that if you "fill" the "holes" in the pattern with the appropriate values, you get the original data back (formally, you perform a "substitution" of the "placeholders"). I actually think you meant "slots", not "holes". > Regarding the term "destructuring pattern": I think it's perfect. But the pattern is not the one that destructures. So I think "pattern-based destructuring" or "destructuring using patterns" would be better. Or something like that. I'm still looking for an appropriate term.