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 13:48:42 -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> 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 1541008052 5762 195.159.176.226 (31 Oct 2018 17:47:32 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 31 Oct 2018 17:47:32 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1 To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Oct 31 18:47:28 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 1gHuaV-0001O9-Qd for ged-emacs-devel@m.gmane.org; Wed, 31 Oct 2018 18:47:27 +0100 Original-Received: from localhost ([::1]:32803 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHucc-00075S-3v for ged-emacs-devel@m.gmane.org; Wed, 31 Oct 2018 13:49:38 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45148) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHubo-000749-Gm for emacs-devel@gnu.org; Wed, 31 Oct 2018 13:48:49 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gHubl-0001rm-4P for emacs-devel@gnu.org; Wed, 31 Oct 2018 13:48:48 -0400 Original-Received: from mail-qk1-x732.google.com ([2607:f8b0:4864:20::732]:44867) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gHubk-0001qR-UC for emacs-devel@gnu.org; Wed, 31 Oct 2018 13:48:45 -0400 Original-Received: by mail-qk1-x732.google.com with SMTP id n12so10624819qkh.11 for ; Wed, 31 Oct 2018 10:48:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=H4i0DPDg0LEBvZW3TLiWKfyebVi1U40RCm/lYA1DvZ4=; b=fzlYBbXf3qKv6jxWRp0Sf/HB9BJpS9Cji/4NN2+dtv/fw6mm2RBy1hLit4pJEnEebk sr5UVA7LjAwVnd90ABJBJKf20S3CpfjsgAxV2SDRSLZiLtliPYCVFJIzvTgXjbTDOE3y A3r0QAZt2EVsjREpnB8DyUHyURe28oqpIU6RcT85DBflP4gyfidfNnY+A09ldrjatT5h 2VsS6ubRW/ofEoO8tOEOQ9H44mlLHSWO4FzOrRQlBZy4WKLmbKDChvijcUQt0Id/BaAL NR+kNv9A5jzcQfmYGRFEnKt5WOs4YmB9ynKJ226CIO1cYs/4cdp2qoljxIg9Z2F0Kw8w QFhg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=H4i0DPDg0LEBvZW3TLiWKfyebVi1U40RCm/lYA1DvZ4=; b=ZCjgi/zoPfOFoXee8Xe+kelmHYO8xA7CvV/qfcGxydzupyMN3VqY3ZKks5ioKl9xe1 sB2AWobCxhzMooUvPr/LcHeJ7Aticz8RM2ubKjDqNI80UvqGVLduZTkE9ZpQ0Wwho8pE W+wgxEIuqfhlzMA5Pi2SNBAxhdA8BAhpH/ofYN8AtluSpS8t7Am19xEsTM28oQpmCTlM JB0EAkjm8tjcO9z+MTDSus7q24wNZbfHpAzy/C8BLQ1QZ6ZMGdzz8FanPAmnec4v2LL4 l/WZdXHy2eglvkWr6CDGo7iwke+HKwHZ53Q3MjMTgDQ13BwAqVPaJlvC/fGJ7ugAobvZ R7VA== X-Gm-Message-State: AGRZ1gKG1zWnxGG1Z9P1EzRqgs3dAoVhqZItA5yRSQgwN9E4ksz4B5sj mQM0oMwRsY33nV+aVSOgxhTUi+hF X-Google-Smtp-Source: AJdET5fGYBFZapD1JgiIMDZnZbwlOMo9O0phNdmW89WXEA4+A0NAI2jp+P81A26b39eI6fdJnkfbqQ== X-Received: by 2002:a37:60c4:: with SMTP id u187-v6mr3415857qkb.234.1541008124158; Wed, 31 Oct 2018 10:48:44 -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 t188-v6sm10555092qkf.26.2018.10.31.10.48.43 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 31 Oct 2018 10:48:43 -0700 (PDT) In-Reply-To: <83o9bahz6i.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::732 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:230891 Archived-At: On 31/10/2018 12.13, Eli Zaretskii wrote: >> Cc: emacs-devel@gnu.org >> From: Dmitry Gutov >> Date: Wed, 31 Oct 2018 18:05:44 +0200 >> >>> Can someone enlighten me regarding those "holes"? What does that >>> allude to? >> >> 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"). Regarding the term "destructuring pattern": I think it's perfect. The only other decent alternative I can think of would be "variable-binding pattern". Clément.