From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Replace trivial pcase occurrences in the Emacs sources Date: Wed, 31 Oct 2018 14:28:45 -0400 Message-ID: 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> <83in1ihtox.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 1541010454 21042 195.159.176.226 (31 Oct 2018 18:27:34 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 31 Oct 2018 18:27:34 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1 Cc: emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Oct 31 19:27:29 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 1gHvDF-0005Mt-KE for ged-emacs-devel@m.gmane.org; Wed, 31 Oct 2018 19:27:29 +0100 Original-Received: from localhost ([::1]:32937 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHvFL-0004Vu-Uw for ged-emacs-devel@m.gmane.org; Wed, 31 Oct 2018 14:29:39 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56373) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHvEf-0004K3-TZ for emacs-devel@gnu.org; Wed, 31 Oct 2018 14:28:58 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gHvEY-0001Oh-66 for emacs-devel@gnu.org; Wed, 31 Oct 2018 14:28:55 -0400 Original-Received: from mail-qt1-x82a.google.com ([2607:f8b0:4864:20::82a]:41126) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gHvEX-0001Lb-UW; Wed, 31 Oct 2018 14:28:50 -0400 Original-Received: by mail-qt1-x82a.google.com with SMTP id l41-v6so18245387qtl.8; Wed, 31 Oct 2018 11:28:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=uzd+6JBPB04Jnh9AmP+vdOiQ+OEwodQzTrrU3AtTLNA=; b=LsVTw4VwqeTpDByFSkBoFLvS5KJeuHOPTieuMfQm0OLpFWSHSHZWVXhRq0rv7Fjzzk 4blUNyoHyZyiILi42NoKbkOC/DPlb6dQPZbqhSne4IBQw5Ba+8840avmcywpjKiigaXy qf0O8XZYsDIytZCwWFOJ1lMqgthfbOgIfbfeXZ79lxM/bYreocJIPI2nfbbUaRZxWQRm Kk/Z8qXTFgc6cbEQGuvSAUAUAWI78X4MbldleiDHAtQjwB3pYAR+Y1r4aZaQdNsTvg4F WAhzG6oTFOWvqVxSCM6vZ1LmldunWYO/izO/Bd93Ia8spkkbTEwU1xonEnPYDWfCpo9P WIEg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=uzd+6JBPB04Jnh9AmP+vdOiQ+OEwodQzTrrU3AtTLNA=; b=KDtWKPI0TkP17/+H7/igpwbNkjHDarDPdGmOCkSKSwjml1nkJVQn53w5+0L7hKnAUi d15gpdnLe7Yfv2U2AnqefK+jjDdYCJtAq2JcHrsAAOTatsyKXdq0QJYmpm8/ZzJM//8W e+CHW4FZmYpPZIqbCdJkctN9vXvgSB3/TQ9hpYl5oTfIr2pIcxk5Zc1Rl3wGD5sAU0LC oOMIQk/jkC6hVad0pqWBT7xmzE9FUv8SlENt/VhT1I/xvOOLmX0MsNwuODQA7D0EQ8Ci blXQ/Ki0tV3gcHZdcq85OSIu3B3xrAwc4hWgdiBP9TPpVxbB2fYT4kX2W9i5Ekyjv0b1 NbTQ== X-Gm-Message-State: AGRZ1gIE3R0OHL0w0Q9LCxNdNCuoF4OhZwddgzldmm4di5HG+vCMnHEr VxpBQ7W/mCxmfvuWpR0PY9Q/moQR X-Google-Smtp-Source: AJdET5cfqL/n1yqOL/W3W6ZDtCsEJ77tADRk0uyLi5HLhWKJ99VCpA44i9iBvpiGSCKtd1FemzKpUw== X-Received: by 2002:a0c:8aa8:: with SMTP id 37mr3748877qvv.23.1541010526160; Wed, 31 Oct 2018 11:28:46 -0700 (PDT) Original-Received: from [18.26.2.123] (26-2-123.dynamic.csail.mit.edu. [18.26.2.123]) by smtp.gmail.com with ESMTPSA id v68-v6sm9841338qkl.93.2018.10.31.11.28.45 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 31 Oct 2018 11:28:45 -0700 (PDT) In-Reply-To: <83in1ihtox.fsf@gnu.org> Content-Language: en-GB X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::82a 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:230893 Archived-At: On 31/10/2018 14.11, Eli Zaretskii wrote: >> 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". No, I meant holes :) I've seen that term used both with patterns (see e.g. http://people.cs.uchicago.edu/~blume/classes/aut2008/proglang/handouts/lec-sml.pdf) and contexts (http://homepages.inf.ed.ac.uk/slindley/papers/many-holes.pdf). >> 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. I think I don't understand what kind of term you're looking for, then :/ A "destructuring pattern" is a thing; "destructuring using patterns" is an action. Sorry for the noise if I'm misunderstanding something. Clément