[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Replace trivial pcase occurrences in the Emacs sources
From: |
Eli Zaretskii |
Subject: |
Re: Replace trivial pcase occurrences in the Emacs sources |
Date: |
Wed, 31 Oct 2018 20:11:58 +0200 |
> From: Clément Pit-Claudel <address@hidden>
> 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.
- Re: Replace trivial pcase occurrences in the Emacs sources, (continued)
- Re: Replace trivial pcase occurrences in the Emacs sources, Dmitry Gutov, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Eli Zaretskii, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Michael Heerdegen, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Eli Zaretskii, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Michael Heerdegen, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Eli Zaretskii, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Michael Heerdegen, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Stefan Monnier, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Eli Zaretskii, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Clément Pit-Claudel, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources,
Eli Zaretskii <=
- Re: Replace trivial pcase occurrences in the Emacs sources, Clément Pit-Claudel, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Eli Zaretskii, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Yuri Khan, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Eli Zaretskii, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Dmitry Gutov, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Clément Pit-Claudel, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Eli Zaretskii, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Clément Pit-Claudel, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Eli Zaretskii, 2018/10/31
- Re: Replace trivial pcase occurrences in the Emacs sources, Dmitry Gutov, 2018/10/31