[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Appending lists
From: |
tomas |
Subject: |
Re: Appending lists |
Date: |
Thu, 17 Jun 2021 09:50:13 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Thu, Jun 17, 2021 at 01:04:36AM +0200, Emanuel Berg via Users list for the
GNU Emacs text editor wrote:
> Stefan Monnier via Users list for the GNU Emacs text editor wrote:
>
> >>>> Doing (foo x y) will *never* change "the variable x" -- unless
> >>>> foo is a macro/special form.
> >>>
> >>> Just to show that you should never say never:
> >>>
> >>> (let* ((x 5)
> >>> (y 6))
> >>> (cl-flet ((foo (a b) (setq x (+ a b) y (* a b)) (- a b)))
> >>> (list (foo x y) x y)))
> >>
> >> Hey, that's cheating :-)
> >
> > Impredicativity is borderline, indeed.
>
> Impredicativity, what's that, recursion?
Kind of. But different [1]
Cheers
[1] https://en.wikipedia.org/wiki/Impredicativity
- t
signature.asc
Description: Digital signature
- Re: [OFFTOPIC] Re: Appending lists, (continued)
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Eduardo Ochs, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/21
- Re: [OFFTOPIC] Re: Appending lists, tomas, 2021/06/17
- Re: Appending lists,
tomas <=
- Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: Appending lists, tomas, 2021/06/19
- Re: Appending lists, Emanuel Berg, 2021/06/16
- Re: Appending lists, Emanuel Berg, 2021/06/16
- RE: [External] : Re: Appending lists, Drew Adams, 2021/06/16
- Re: [External] : Re: Appending lists, Emanuel Berg, 2021/06/16
- RE: [External] : Re: Appending lists, Drew Adams, 2021/06/16
- Re: [External] : Re: Appending lists, Emanuel Berg, 2021/06/16
- Re: [External] : Re: Appending lists, tomas, 2021/06/17