unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: Philip Kaludercic <philipk@posteo.net>
Cc: rms@gnu.org, joaotavora@gmail.com, adam@alphapapa.net,
	emacs-devel@gnu.org, stefankangas@gmail.com
Subject: Re: What's missing in ELisp that makes people want to use cl-lib?
Date: Thu, 02 Nov 2023 11:27:39 +0200	[thread overview]
Message-ID: <838r7g8pys.fsf@gnu.org> (raw)
In-Reply-To: <871qd8sfdx.fsf@posteo.net> (message from Philip Kaludercic on Thu, 02 Nov 2023 08:55:54 +0000)

> From: Philip Kaludercic <philipk@posteo.net>
> Cc: João Távora <joaotavora@gmail.com>,
>  adam@alphapapa.net, emacs-devel@gnu.org,  stefankangas@gmail.com
> Date: Thu, 02 Nov 2023 08:55:54 +0000
> 
> Richard Stallman <rms@gnu.org> writes:
> 
> > It might be ok to add some keyword arguments to `sort', which are more
> > unusual and complex to use, but not to simple constructs like
> > `pushnew'.  This is Emacs Lisp, not Common Lisp.
> 
> What does that last sentence mean?

AFAIU, it means that Emacs Lisp traditionally doesn't use keyword
arguments, except as relatively rare exceptions.

> what constitutes "Emacs Lisp"?  It would
> seem peculiar if it were to be defined by the arbitrary decisions of the
> past, constrained by the contingent circumstances of the time.

Those "arbitrary decisions" are what got us to where we are now, 40
years later.  So some respect for those "arbitrary decisions" is due,
I think.

> to me the main aspects and attractions of Emacs Lisp (in contrast to
> CL and Scheme) have been:
> 
> 1. Not standardised; it is possible to extend the language without
>    having to worry about how many implementations will follow along

IMNSHO, extending Emacs Lisp as the language is not the main goal of
Emacs development.  Emacs Lisp is not a programming language on its
own, it is a language for implementing and extending features and
extensions in Emacs.  Thus, the main goal of Emacs development is to
develop applications and application-level features, and provide more
opportunities for extending the core where that is considered useful.
What we have in Emacs Lisp is IMO ample for that purpose.  Moreover,
most participants in Emacs development are not experts in programming
languages, their expertise is elsewhere (which is definitely a Good
Thing).

Objectively, adding new syntax and semantics to Emacs Lisp does make
the source code harder to read and maintain, because it makes the
language larger and requires familiarization with those new language
features, which more often than not look and feel completely different
from the "traditional" Emacs Lisp.  So even if we conclude that these
additions are worthwhile, we should not pretend they come without a
price, and IMO we should think carefully whether their use is
justified before we use them in each and every case.

> Emacs Lisp can learn from interesting ideas that other
> languages provide, adapt and add them, making them available to
> everyone.

It certainly can.  The question is: should it?  Since we are not
driven by any standard, it is completely up to us to make those
decisions, and we should IMO make them judiciously and carefully,
taking the downsides into consideration.  In particular, I hope people
agree that making a language too large and complex is not a good
thing in the long run.

> If a form expresses something that people frequently want to
> do, but either have to elaborate using (unless (memq ...) (push ...)),
> then we are making Emacs more useful and expressive by providing the
> functionality OOTB.  And isn't that the real point of Emacs Lisp?

AFAIU, what Richard says is that if some form is frequently used, we
should indeed consider adding a primitive or an API for it, but that
primitive or API doesn't have to look like CL.  Cf the pushnew
argument.



  reply	other threads:[~2023-11-02  9:27 UTC|newest]

Thread overview: 559+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-09-13  5:24 [External] : Re: Shrinking the C core Arthur Miller
2023-09-15  8:18 ` Emanuel Berg
2023-09-17  0:46   ` Richard Stallman
2023-09-17  4:55     ` Alfred M. Szmidt
2023-09-17  9:13       ` Emanuel Berg
2023-09-17  9:54         ` Alfred M. Szmidt
2023-09-17 17:38         ` Drew Adams
2023-09-18 19:38           ` Emanuel Berg
2023-09-19 10:19           ` Richard Stallman
2023-09-19 10:21         ` Richard Stallman
2023-09-19 11:21           ` Emanuel Berg
2023-09-19 12:39             ` Eli Zaretskii
2023-09-21 20:27             ` Richard Stallman
2023-09-17  5:41     ` Eli Zaretskii
2023-09-17  8:54       ` Emanuel Berg
2023-09-17 17:29         ` Drew Adams
2023-09-18 19:40           ` Emanuel Berg
2023-10-15  1:53       ` Richard Stallman
2023-10-15  2:46         ` Emanuel Berg
2023-10-15  5:57           ` Eli Zaretskii
2023-10-15  5:54         ` Eli Zaretskii
2023-10-17  4:51           ` Emanuel Berg
2023-10-19  1:28             ` Lisp files that load cl-lib in problematical ways Richard Stallman
2023-10-19  4:14               ` Emanuel Berg
2023-10-19  4:54                 ` Eli Zaretskii
2023-10-19  5:18                   ` Emanuel Berg
2023-10-19  7:56                     ` Eli Zaretskii
2023-10-19  8:11                     ` Emanuel Berg
2023-10-24  0:59                       ` Richard Stallman
2023-10-19  7:34                   ` Stephen Berman
2023-10-19  7:55                     ` Eli Zaretskii
2023-10-19  8:32                       ` Stephen Berman
2023-10-19  9:04                       ` Andrea Corallo
2023-10-19 13:44                         ` Andrea Corallo
2023-10-19 14:14                           ` Eli Zaretskii
2023-10-19 16:11                             ` Andrea Corallo
2023-10-25 22:02                               ` Andrea Corallo
2023-10-25 22:31                                 ` Andrea Corallo
2023-10-26  5:18                                   ` Eli Zaretskii
2023-10-26 11:19                                     ` Andrea Corallo
2023-10-26  5:16                                 ` Eli Zaretskii
2023-11-07 10:51                               ` Andrea Corallo
2023-11-08 18:01                                 ` Andrea Corallo
2023-11-09 11:41                                   ` Andrea Corallo
2023-11-09 15:37                                     ` Eli Zaretskii
2023-11-09 16:10                                       ` Andrea Corallo
2023-11-09 16:36                                         ` Eli Zaretskii
2023-11-09 18:34                                           ` Andrea Corallo
2023-11-09 19:48                                             ` Eli Zaretskii
2023-10-21  5:19                   ` Richard Stallman
2023-10-21  5:19                 ` Richard Stallman
2023-10-19  5:27               ` Alan Mackenzie
2023-10-19  7:47                 ` Eli Zaretskii
2023-10-19 11:19                   ` Emanuel Berg
2023-10-19 12:29                     ` Eli Zaretskii
2023-10-20  3:02                       ` Emanuel Berg
2023-10-20  6:10                         ` Dr. Arne Babenhauserheide
2023-10-20  6:30                           ` Emanuel Berg
2023-10-20  6:49                         ` Eli Zaretskii
2023-10-21 10:18                           ` Emanuel Berg
2023-10-21 15:17                           ` Jens Schmidt
2023-10-21 15:21                             ` Eli Zaretskii
2023-10-22  0:52                         ` Björn Bidar
2023-10-22  1:20                           ` Emanuel Berg
2023-10-23  2:08                         ` Richard Stallman
2023-10-23  2:31                           ` Eli Zaretskii
2023-10-23  8:13                             ` Stefan Kangas
     [not found]                         ` <87pm17iilu.fsf@>
2023-10-22  5:09                           ` Eli Zaretskii
2023-10-23 11:07                           ` Alan Mackenzie
2023-10-23 11:47                             ` Eli Zaretskii
2023-10-23 12:26                               ` Emanuel Berg
2023-10-23 12:18                             ` Emanuel Berg
2023-10-23 12:51                               ` Eli Zaretskii
2023-10-19 12:34                   ` Alan Mackenzie
2023-10-19 12:55                     ` Eli Zaretskii
2023-10-19 13:28                       ` Alan Mackenzie
2023-10-19 14:09                         ` Eli Zaretskii
2023-10-21  3:34                         ` Michael Heerdegen
2023-10-21  5:21                         ` Richard Stallman
2023-10-21  7:42                           ` Eli Zaretskii
2023-10-21 17:53                             ` Alan Mackenzie
2023-10-21 18:03                               ` Gerd Möllmann
2023-10-21 20:13                                 ` [External] : " Drew Adams
2023-10-25  2:44                                 ` Richard Stallman
2023-10-21 19:00                               ` Eli Zaretskii
2023-10-21 20:38                                 ` Alan Mackenzie
2023-10-22  3:40                                   ` Gerd Möllmann
2023-10-25  2:44                                   ` Richard Stallman
2023-10-25 12:15                                     ` Eli Zaretskii
2023-10-25 12:57                                       ` Emanuel Berg
2023-10-23  2:12                             ` Richard Stallman
2023-10-21 12:05                           ` Alan Mackenzie
2023-10-23  2:11                             ` Richard Stallman
2023-10-23 12:54                               ` Alan Mackenzie
2023-10-23 14:11                                 ` Eli Zaretskii
2023-10-25  2:46                                   ` Richard Stallman
2023-10-25 12:21                                     ` Eli Zaretskii
2023-10-26  2:27                                       ` Richard Stallman
2023-10-26  6:50                                         ` Eli Zaretskii
2023-10-26 10:16                                           ` Emanuel Berg
2023-10-23 14:06                               ` Gregory Heytings
2023-10-23 14:34                                 ` Eli Zaretskii
2023-10-23 14:48                                   ` Gregory Heytings
2023-10-23 14:57                                     ` Eli Zaretskii
2023-10-23 22:11                                       ` Stefan Kangas
2023-10-24  2:31                                         ` Eli Zaretskii
2023-10-24  8:18                                           ` Po Lu
2023-10-24  8:35                                           ` Stefan Kangas
2023-10-24  9:04                                             ` Ihor Radchenko
2023-10-24 11:35                                               ` Eli Zaretskii
2023-10-24 12:41                                                 ` Ihor Radchenko
2023-10-24 12:48                                                   ` Eli Zaretskii
2023-10-24 13:01                                                     ` Ihor Radchenko
2023-10-24 13:07                                                       ` Eli Zaretskii
2023-10-24 13:33                                                         ` Ihor Radchenko
2023-10-24 13:51                                                           ` Eli Zaretskii
2023-10-24 14:31                                                             ` Andrea Corallo
2023-10-24 15:00                                                               ` Corwin Brust
2023-10-24 18:05                                                               ` Andrea Corallo
2023-10-24 19:43                                                                 ` Ihor Radchenko
2023-10-25 18:19                                                                   ` Corwin Brust
2023-10-24 11:30                                             ` Eli Zaretskii
2023-10-24 15:44                                               ` Stefan Kangas
2023-10-24  8:10                                         ` Björn Bidar
     [not found]                                         ` <87cyx4jva9.fsf@>
2023-10-24 11:27                                           ` Eli Zaretskii
2023-10-24 12:43                                             ` Emanuel Berg
2023-10-24 12:54                                               ` Eli Zaretskii
2023-10-24 15:19                                                 ` Emanuel Berg
2023-10-24 15:29                                             ` Björn Bidar
     [not found]                                             ` <87ttqghwcs.fsf@>
2023-10-24 15:54                                               ` Eli Zaretskii
2023-10-24 17:54                                                 ` Emanuel Berg
2023-10-24 18:36                                                   ` Eli Zaretskii
2023-10-27  2:12                                                 ` Richard Stallman
2023-10-27  6:19                                                   ` Eli Zaretskii
2023-10-23 15:07                                   ` Emanuel Berg
2023-10-19 17:47                     ` Björn Bidar
2023-10-23  2:08                     ` Richard Stallman
2023-10-23 11:18                       ` Eli Zaretskii
2023-10-25  2:47                         ` Richard Stallman
2023-10-25  3:11                           ` Emanuel Berg
2023-10-25  7:57                           ` Stefan Kangas
2023-10-25  8:07                             ` Gerd Möllmann
2023-10-26  2:27                             ` Richard Stallman
2023-10-26  6:55                               ` Eli Zaretskii
2023-10-26  9:31                                 ` Adam Porter
2023-10-26  9:42                                   ` Eli Zaretskii
2023-10-26 10:03                                   ` Dmitry Gutov
2023-10-26 10:34                                 ` Alan Mackenzie
2023-10-26 11:32                                   ` Emanuel Berg
2023-10-26 19:47                                     ` Bob Rogers
2023-10-26 19:59                                       ` Emanuel Berg
2023-10-28  3:20                                       ` Richard Stallman
2023-10-28 15:39                                         ` What's missing in ELisp that makes people want to use cl-lib? Stefan Kangas
2023-10-28 16:18                                           ` Emanuel Berg
2023-10-28 18:52                                             ` Eli Zaretskii
2023-10-28 19:08                                               ` Emanuel Berg
2023-10-28 19:15                                                 ` Eli Zaretskii
2023-10-28 19:36                                                   ` Emanuel Berg
2023-10-28 19:10                                           ` Jim Porter
2023-10-28 19:14                                             ` Eli Zaretskii
2023-10-28 21:03                                               ` Jim Porter
2023-10-29  6:10                                                 ` Eli Zaretskii
2023-10-30  2:09                                                 ` Richard Stallman
2023-10-30 17:13                                                   ` Jim Porter
2023-10-30  2:09                                           ` Richard Stallman
2023-10-31  2:31                                             ` Adam Porter
2023-10-31  3:27                                               ` Eli Zaretskii
2023-10-31 10:38                                               ` João Távora
2023-11-02  2:28                                                 ` Richard Stallman
2023-11-02  2:42                                                   ` Jim Porter
2023-11-02  8:55                                                   ` Philip Kaludercic
2023-11-02  9:27                                                     ` Eli Zaretskii [this message]
2023-11-02 21:26                                                       ` Philip Kaludercic
2023-11-03  1:51                                                         ` Bob Rogers
2023-11-03  2:21                                                           ` Emanuel Berg
2023-11-03 19:51                                                             ` Bob Rogers
2023-11-03 20:32                                                               ` Emanuel Berg
2023-11-03 22:33                                                                 ` Bob Rogers
2023-11-03 22:46                                                                   ` Emanuel Berg
2023-11-04  9:34                                                                     ` Stephen Berman
2023-11-05 18:52                                                                       ` Emanuel Berg
2023-11-07 16:17                                                           ` Richard Stallman
2023-11-08 14:19                                                             ` Emanuel Berg
2023-11-08 15:00                                                               ` Björn Bidar
     [not found]                                                               ` <87r0l070jt.fsf@>
2023-11-08 17:18                                                                 ` Alan Mackenzie
2023-11-08 17:59                                                                   ` Emanuel Berg
2023-11-08 20:19                                                                   ` Dmitry Gutov
2023-11-08 21:10                                                                     ` João Távora
2023-11-08 23:17                                                                       ` Emanuel Berg
2023-11-09 10:05                                                                       ` Alan Mackenzie
2023-11-09 11:06                                                                         ` João Távora
2023-11-09 11:37                                                                           ` Eli Zaretskii
2023-11-09 12:34                                                                             ` João Távora
2023-11-09 13:38                                                                               ` João Távora
2023-11-09 15:05                                                                               ` Eli Zaretskii
2023-11-09 15:29                                                                                 ` Emanuel Berg
2023-11-09 15:43                                                                                   ` Eli Zaretskii
2023-11-11 13:10                                                                                     ` Emanuel Berg
2023-11-11 13:57                                                                                       ` Eli Zaretskii
2023-11-11 14:07                                                                                         ` Emanuel Berg
2023-11-11 14:16                                                                                           ` Eli Zaretskii
2023-11-11 14:54                                                                                             ` Emanuel Berg
2023-11-11 16:05                                                                                               ` Eli Zaretskii
2023-11-09 15:39                                                                                 ` João Távora
2023-11-09 15:51                                                                                   ` Eli Zaretskii
2023-11-09 16:23                                                                                     ` João Távora
2023-11-09 13:45                                                                           ` Po Lu
2023-11-09 14:28                                                                             ` João Távora
2023-11-09 14:39                                                                               ` João Távora
2023-11-10  0:02                                                                                 ` Po Lu
2023-11-10  2:23                                                                                   ` João Távora
2023-11-10  2:42                                                                                     ` Po Lu
2023-11-10 11:11                                                                                       ` João Távora
2023-11-10 12:52                                                                                         ` Po Lu
2023-11-10 13:08                                                                                           ` João Távora
2023-11-10 13:39                                                                                             ` Po Lu
2023-11-10 14:18                                                                                           ` Manuel Giraud via Emacs development discussions.
2023-11-10 21:05                                                                                           ` Dmitry Gutov
2023-11-11  1:11                                                                                             ` Po Lu
2023-11-11  1:44                                                                                               ` Dmitry Gutov
2023-11-11  1:58                                                                                                 ` Po Lu
2023-11-11 15:54                                                                                               ` Emanuel Berg
2023-11-12  0:22                                                                                                 ` Po Lu
2023-11-11  6:01                                                                                           ` Michael Heerdegen
2023-11-11  7:55                                                                                             ` Eli Zaretskii
2023-11-11 13:09                                                                                               ` João Távora
2023-11-11 13:17                                                                                                 ` Po Lu
2023-11-11 13:39                                                                                                   ` João Távora
2023-11-11 14:06                                                                                                     ` Po Lu
2023-11-11 14:43                                                                                                       ` João Távora
2023-11-11 13:53                                                                                                 ` Eli Zaretskii
2023-11-11 14:01                                                                                                   ` João Távora
2023-11-11 14:09                                                                                                     ` Eli Zaretskii
2023-11-11 14:22                                                                                                       ` João Távora
2023-11-11 14:25                                                                                                         ` Eli Zaretskii
2023-11-11 14:39                                                                                                           ` João Távora
2023-11-11 15:06                                                                                                       ` Emanuel Berg
2023-11-11 18:33                                                                                                         ` [External] : " Drew Adams
2023-11-11 18:49                                                                                                           ` Emanuel Berg
2023-11-11 14:53                                                                                                 ` Gerd Möllmann
2023-11-11 15:51                                                                                                   ` Eli Zaretskii
2023-11-11 18:07                                                                                                     ` Gerd Möllmann
2023-11-11 20:37                                                                                                       ` Eli Zaretskii
2023-11-11 20:53                                                                                                         ` Emanuel Berg
2023-11-12  6:49                                                                                                           ` Eli Zaretskii
2023-11-12  7:22                                                                                                             ` Gerd Möllmann
2023-11-12 11:28                                                                                                               ` Alan Mackenzie
2023-11-14  2:58                                                                                                                 ` Richard Stallman
2023-11-12  6:59                                                                                                         ` Gerd Möllmann
2023-11-12  8:44                                                                                                           ` Eli Zaretskii
2023-11-13  6:28                                                                                                             ` Gerd Möllmann
2023-11-13 14:56                                                                                                               ` Eli Zaretskii
2023-11-13 16:38                                                                                                                 ` Gerd Möllmann
2023-11-16  3:04                                                                                                               ` Richard Stallman
2023-11-11 21:49                                                                                                       ` Dmitry Gutov
2023-11-12  2:36                                                                                                         ` João Távora
2023-11-12  6:27                                                                                                           ` Eli Zaretskii
2023-11-12 10:21                                                                                                             ` João Távora
2023-11-12 11:22                                                                                                               ` Eli Zaretskii
2023-11-12 14:34                                                                                                                 ` João Távora
2023-11-12  7:11                                                                                                           ` Gerd Möllmann
2023-11-12 22:09                                                                                                           ` Dmitry Gutov
2023-11-12 23:14                                                                                                             ` João Távora
2023-11-13  0:25                                                                                                               ` Dmitry Gutov
2023-11-13  1:03                                                                                                                 ` João Távora
2023-11-13  2:43                                                                                                                   ` Dmitry Gutov
2023-11-14  0:41                                                                                                                     ` Dmitry Gutov
2023-11-14  2:27                                                                                                                       ` João Távora
2023-11-14  2:44                                                                                                                         ` Dmitry Gutov
2023-11-14 10:34                                                                                                                           ` João Távora
2023-11-14 11:47                                                                                                                             ` Dmitry Gutov
2023-11-14 12:14                                                                                                                               ` João Távora
2023-11-14 12:20                                                                                                                                 ` Dmitry Gutov
2023-11-14 12:50                                                                                                                                   ` João Távora
2023-11-14  2:44                                                                                                                         ` João Távora
2023-11-14  2:48                                                                                                                           ` Dmitry Gutov
2023-11-14 15:45                                                                                                                         ` Michael Heerdegen
2023-11-14 23:11                                                                                                                         ` Dmitry Gutov
2023-11-14 23:52                                                                                                                           ` João Távora
2023-11-15  0:46                                                                                                                             ` Dmitry Gutov
2023-11-15  1:07                                                                                                                               ` João Távora
2023-11-15  1:17                                                                                                                                 ` João Távora
2023-11-15  1:32                                                                                                                                   ` Dmitry Gutov
2023-11-15  1:28                                                                                                                                 ` Dmitry Gutov
2023-11-15 12:14                                                                                                                                   ` João Távora
2023-11-15 14:05                                                                                                                                     ` Dmitry Gutov
2023-11-15 15:02                                                                                                                                       ` João Távora
2023-11-15 15:29                                                                                                                                         ` João Távora
2023-11-15 19:12                                                                                                                                         ` Dmitry Gutov
2023-11-15 19:56                                                                                                                                           ` Gerd Möllmann
2023-11-15 23:25                                                                                                                                             ` Dmitry Gutov
2023-11-16  0:28                                                                                                                                               ` João Távora
2023-11-16  5:45                                                                                                                                                 ` Gerd Möllmann
2023-11-16 14:30                                                                                                                                           ` João Távora
2023-11-16 16:02                                                                                                                                             ` Michael Heerdegen
2023-11-16 16:24                                                                                                                                               ` João Távora
2023-11-16 17:44                                                                                                                                             ` Gerd Möllmann
2023-11-16 20:06                                                                                                                                               ` João Távora
2023-11-16 20:12                                                                                                                                                 ` Gerd Möllmann
2023-11-17 14:16                                                                                                                                                   ` Gerd Möllmann
2023-11-16 20:09                                                                                                                                               ` Gerd Möllmann
2023-11-16 21:54                                                                                                                                                 ` Dmitry Gutov
2023-11-17  2:44                                                                                                                                                   ` Stefan Monnier
2023-11-17  2:47                                                                                                                                                     ` Dmitry Gutov
2023-11-17  7:12                                                                                                                                                       ` Eli Zaretskii
2023-11-17  6:08                                                                                                                                                   ` Gerd Möllmann
2023-11-17  7:21                                                                                                                                                     ` Eli Zaretskii
2023-11-17 16:14                                                                                                                                                     ` Stefan Monnier
2023-11-18  5:58                                                                                                                                                       ` Gerd Möllmann
2023-11-20 14:56                                                                                                                                                         ` Augusto Stoffel
2023-11-17 14:45                                                                                                                                                 ` Gerd Möllmann
2023-11-20 14:30                                                                                                                                                 ` PCL [Re: " Madhu
2023-11-20 14:35                                                                                                                                                   ` João Távora
2023-11-20 15:13                                                                                                                                                   ` Gerd Möllmann
2023-11-17  2:09                                                                                                                                             ` Dmitry Gutov
2023-11-21  2:22                                                                                                                                               ` Dmitry Gutov
2023-11-16 13:23                                                                                                                                         ` Michael Heerdegen
2023-11-16 14:40                                                                                                                                           ` João Távora
2023-11-16 15:24                                                                                                                                             ` Michael Heerdegen
2023-11-16 15:29                                                                                                                                               ` João Távora
2023-11-16 13:43                                                                                                                         ` Michael Heerdegen
2023-11-16 14:36                                                                                                                           ` João Távora
2023-11-16 15:16                                                                                                                             ` Michael Heerdegen
2023-11-16 15:24                                                                                                                               ` João Távora
2023-11-16 16:42                                                                                                                               ` Eli Zaretskii
2023-11-16 17:40                                                                                                                                 ` Michael Heerdegen
2023-11-16 21:58                                                                                                                                 ` João Távora
2023-11-17  6:56                                                                                                                                   ` Eli Zaretskii
2023-11-17 10:44                                                                                                                                     ` João Távora
2023-11-17 10:47                                                                                                                                     ` João Távora
2023-11-17 12:22                                                                                                                                       ` Eli Zaretskii
2023-11-17 13:14                                                                                                                                         ` João Távora
2023-11-17 15:01                                                                                                                                           ` Eli Zaretskii
2023-11-17 15:17                                                                                                                                             ` João Távora
2023-11-18  6:14                                                                                                                                               ` Gerd Möllmann
2023-11-17 14:49                                                                                                                                         ` Michael Heerdegen
2023-11-17 15:05                                                                                                                                           ` Eli Zaretskii
2023-11-18  3:03                                                                                                                                   ` Richard Stallman
2023-11-14  6:06                                                                                                                       ` Gerd Möllmann
2023-11-13  8:35                                                                                                               ` Michael Heerdegen
2023-11-13 11:21                                                                                                                 ` João Távora
2023-11-14 14:43                                                                                                                   ` Michael Heerdegen
2023-11-15  5:59                                                                                                                     ` Gerd Möllmann
2023-11-16 15:22                                                                                                                     ` João Távora
2023-11-12  2:57                                                                                                 ` Richard Stallman
2023-11-12  6:45                                                                                                   ` Eli Zaretskii
2023-11-12 19:45                                                                                                     ` [External] : " Drew Adams
2023-11-14  2:58                                                                                                     ` Richard Stallman
2023-11-14  3:31                                                                                                       ` Sebastián Monía
2023-11-14 12:29                                                                                                         ` Eli Zaretskii
2023-11-15 18:28                                                                                                         ` Emanuel Berg
2023-11-16  1:33                                                                                                           ` T.V Raman
2023-11-14  5:05                                                                                                       ` [External] : " Drew Adams
2023-11-14  8:13                                                                                                       ` Tomas Hlavaty
2023-11-14 10:38                                                                                                         ` João Távora
2023-11-14 10:55                                                                                                           ` Po Lu
2023-11-14 11:47                                                                                                             ` João Távora
2023-11-14 14:04                                                                                                               ` Po Lu
2023-11-14 14:19                                                                                                                 ` João Távora
2023-11-14 15:02                                                                                                                   ` Po Lu
2023-11-14 15:35                                                                                                                     ` João Távora
2023-11-15  0:13                                                                                                                       ` Po Lu
2023-11-15 10:28                                                                                                                         ` João Távora
2023-11-15 10:40                                                                                                                           ` Eli Zaretskii
2023-11-15 10:56                                                                                                                             ` João Távora
2023-11-15 12:36                                                                                                                               ` Eli Zaretskii
2023-11-15 13:15                                                                                                                           ` Po Lu
2023-11-15 13:28                                                                                                                             ` João Távora
2023-11-15 13:34                                                                                                                             ` Eli Zaretskii
2023-11-14 17:40                                                                                                               ` Tomas Hlavaty
2023-11-15  0:53                                                                                                                 ` João Távora
2023-11-14 16:47                                                                                                             ` Tomas Hlavaty
2023-11-21  2:43                                                                                                         ` Richard Stallman
2024-01-03  4:11                                                                                                     ` Richard Stallman
2024-01-03 11:55                                                                                                       ` João Távora
2024-01-03 13:59                                                                                                         ` Eli Zaretskii
2024-01-03 12:44                                                                                                       ` Eli Zaretskii
2023-11-12  7:30                                                                                                 ` Michael Heerdegen
2023-11-12 19:48                                                                                                   ` [External] : " Drew Adams
2023-11-12 19:58                                                                                                     ` João Távora
2023-11-12 22:43                                                                                                       ` Drew Adams
2023-11-12 22:59                                                                                                         ` João Távora
2023-11-12 23:04                                                                                                           ` Drew Adams
2023-11-12 23:44                                                                                                   ` Emanuel Berg
2023-11-15 14:41                                                                                                 ` Augusto Stoffel
2023-11-15 14:51                                                                                                   ` João Távora
2023-11-15 21:21                                                                                                     ` Augusto Stoffel
2023-11-16  0:28                                                                                                       ` João Távora
2023-11-16 14:36                                                                                                         ` Augusto Stoffel
2023-11-16 14:57                                                                                                           ` João Távora
2023-11-16 15:42                                                                                                           ` Dmitry Gutov
2023-11-16 16:03                                                                                                             ` João Távora
2023-11-11 15:23                                                                                               ` Emanuel Berg
2023-11-11 16:03                                                                                                 ` Eli Zaretskii
2023-11-11 16:41                                                                                                   ` Emanuel Berg
2023-11-11 16:45                                                                                                     ` Eli Zaretskii
2023-11-11 18:31                                                                                               ` [External] : " Drew Adams
2023-11-11 18:30                                                                                             ` Drew Adams
2023-11-11 13:37                                                                                           ` Emanuel Berg
2023-11-11 13:50                                                                                             ` Po Lu
2023-11-11 13:58                                                                                               ` João Távora
2023-11-12  0:18                                                                                                 ` Po Lu
2023-11-11 13:20                                                                                   ` Emanuel Berg
2023-11-11 18:32                                                                                     ` [External] : " Drew Adams
2023-11-12  0:34                                                                                       ` Po Lu
2023-11-12  2:00                                                                                         ` Emanuel Berg
2023-11-12  6:56                                                                                           ` Po Lu
2023-11-12 23:59                                                                                             ` Emanuel Berg
2023-11-13  5:18                                                                                               ` Po Lu
2023-11-13  6:09                                                                                                 ` Emanuel Berg
2023-11-09 15:23                                                                               ` Emanuel Berg
2023-11-10  0:31                                                                               ` Po Lu
2023-11-10  2:09                                                                                 ` João Távora
2023-11-10  3:17                                                                                   ` Po Lu
2023-11-10 10:54                                                                                     ` João Távora
2023-11-10 13:14                                                                                       ` Po Lu
2023-11-10 14:18                                                                                         ` João Távora
2023-11-11  0:38                                                                                           ` Po Lu
2023-11-11 12:10                                                                                             ` João Távora
2023-11-11 13:03                                                                                               ` Po Lu
2023-11-11 13:20                                                                                                 ` João Távora
2023-11-11 13:35                                                                                                   ` Po Lu
2023-11-11 18:13                                                                                             ` Emanuel Berg
2023-11-12  0:25                                                                                               ` Po Lu
2023-11-12  1:52                                                                                                 ` Emanuel Berg
2023-11-12  7:15                                                                                                   ` Po Lu
2023-11-12 23:55                                                                                                     ` Emanuel Berg
2023-11-13  5:16                                                                                                       ` Po Lu
2023-11-13  6:35                                                                                                         ` Emanuel Berg
2023-11-11 18:08                                                                                           ` Emanuel Berg
2023-11-13  3:07                                                                                           ` Richard Stallman
2023-11-10 21:22                                                                                         ` Dmitry Gutov
2023-11-11  1:14                                                                                           ` Po Lu
2023-12-05 10:45                                                                                           ` Emanuel Berg
2023-11-10 21:17                                                                                     ` Dmitry Gutov
2023-11-11  1:23                                                                                       ` Po Lu
2023-11-11  6:11                                                                                         ` tomas
2023-11-11 12:27                                                                                           ` João Távora
2023-11-11  6:24                                                                                         ` Michael Heerdegen
2023-11-11 20:42                                                                                           ` Emanuel Berg
2023-11-12  7:42                                                                                             ` Michael Heerdegen
2023-11-12 23:22                                                                                               ` Emanuel Berg
2023-11-13  8:52                                                                                                 ` Michael Heerdegen
2023-11-13 11:31                                                                                                   ` João Távora
2023-11-15 23:26                                                                                                   ` Emanuel Berg
2023-11-11 12:16                                                                                         ` João Távora
2023-11-11 12:52                                                                                           ` Po Lu
2023-11-10  2:04                                                                             ` Po Lu
2023-11-10  8:20                                                                             ` Gerd Möllmann
2023-11-10 10:42                                                                               ` Po Lu
2023-11-10 11:36                                                                                 ` João Távora
2023-11-10 12:12                                                                                   ` Po Lu
2023-11-10 14:39                                                                                     ` Gerd Möllmann
2023-11-11  0:12                                                                                       ` Po Lu
2023-11-11  6:34                                                                                         ` Gerd Möllmann
2023-11-11  7:49                                                                                           ` Po Lu
2023-11-11  8:01                                                                                           ` Eli Zaretskii
2023-11-15 14:50                                                                                             ` Augusto Stoffel
2023-11-12  2:57                                                                                   ` Richard Stallman
2023-11-10 14:35                                                                                 ` Gerd Möllmann
2023-11-10  7:05                                                                           ` Gerd Möllmann
2023-11-10 13:16                                                                           ` Alan Mackenzie
2023-11-10 14:23                                                                             ` João Távora
2023-11-10 14:34                                                                               ` Manuel Giraud via Emacs development discussions.
2023-11-11  1:33                                                                               ` Po Lu
2023-11-09  3:17                                                                     ` Michael Heerdegen
2023-11-09  3:59                                                                       ` T.V Raman
2023-11-09  7:24                                                                   ` Gerd Möllmann
2023-11-09 10:34                                                                     ` Alan Mackenzie
2023-11-09 11:48                                                                       ` Dmitry Gutov
2023-11-09 12:40                                                                         ` João Távora
2023-11-09 13:36                                                                           ` Alan Mackenzie
2023-11-09 13:41                                                                             ` João Távora
2023-11-09 13:59                                                                               ` Emanuel Berg
2023-11-10 12:13                                                                               ` Alan Mackenzie
2023-11-10 12:53                                                                                 ` João Távora
2023-11-10 13:17                                                                                   ` Eli Zaretskii
2023-11-10 14:25                                                                                   ` Alan Mackenzie
2023-11-10 14:35                                                                                     ` João Távora
2023-11-10 15:11                                                                                       ` Alan Mackenzie
2023-11-10 15:14                                                                                         ` João Távora
2023-11-10 15:47                                                                                           ` Alan Mackenzie
2023-11-10 16:10                                                                                             ` João Távora
2023-11-10 20:24                                                                                               ` Alan Mackenzie
2023-11-11 11:53                                                                                                 ` João Távora
2023-11-11  6:21                                                                                         ` Michael Heerdegen
2023-11-11 13:20                                                                                           ` Alan Mackenzie
2023-11-11  6:08                                                                                   ` Michael Heerdegen
2023-11-11 12:50                                                                                     ` João Távora
2023-11-13  3:07                                                                                       ` Richard Stallman
2023-11-09 13:42                                                                             ` Dmitry Gutov
2023-11-09 13:07                                                                         ` Alan Mackenzie
2023-11-09 12:19                                                                       ` Gerd Möllmann
2023-11-09 14:49                                                                         ` Alan Mackenzie
2023-11-09 15:12                                                                           ` Emanuel Berg
2023-11-09 15:13                                                                           ` Emanuel Berg
2023-11-09 20:04                                                                             ` Bob Rogers
2023-11-11  3:13                                                                               ` Richard Stallman
2023-11-11 19:47                                                                                 ` Bob Rogers
2023-11-13  3:07                                                                                   ` Richard Stallman
2023-11-13  5:11                                                                                     ` Bob Rogers
2023-11-15  3:21                                                                                       ` Richard Stallman
2023-11-09 19:36                                                                           ` Gerd Möllmann
2023-11-03  2:22                                                         ` Emanuel Berg
2023-11-03  7:07                                                         ` Eli Zaretskii
2023-11-03  7:48                                                           ` Philip Kaludercic
2023-11-03  7:59                                                             ` Eli Zaretskii
2023-11-03  8:13                                                               ` Philip Kaludercic
2023-11-12  2:57                                                       ` Richard Stallman
2023-11-12 11:08                                                       ` Petteri Hintsanen
2023-11-12 11:19                                                         ` Eli Zaretskii
2023-11-12 23:48                                                         ` Emanuel Berg
2023-12-21  4:20                                                       ` Richard Stallman
2023-11-02 11:07                                                   ` João Távora
2023-11-02 11:18                                                     ` Emanuel Berg
2023-11-02 15:20                                                     ` [External] : " Drew Adams
2023-11-02 15:31                                                       ` João Távora
2023-11-02 18:28                                                         ` Emanuel Berg
2023-11-07 16:18                                                       ` Richard Stallman
2023-11-07 16:39                                                         ` Drew Adams
2023-11-07 18:16                                                           ` Bob Rogers
2023-11-09  2:35                                                           ` Richard Stallman
2023-11-08  5:46                                                         ` Gerd Möllmann
2023-11-01  1:51                                               ` Richard Stallman
2023-11-01  1:51                                               ` Richard Stallman
2023-10-29 16:31                                         ` Lisp files that load cl-lib in problematical ways João Távora
2023-10-29 17:16                                           ` [External] : " Drew Adams
2023-10-29 23:19                                             ` João Távora
2023-10-30 14:35                                               ` Emanuel Berg
2023-10-30 14:50                                                 ` João Távora
2023-10-30 16:27                                                   ` Emanuel Berg
2023-10-30 16:40                                                     ` Emanuel Berg
2023-11-01  1:50                                                       ` Richard Stallman
2023-11-01 11:16                                                         ` Emanuel Berg
2023-11-01 12:32                                                           ` Eli Zaretskii
2023-11-01 12:49                                                             ` Emanuel Berg
2023-11-01 13:07                                                               ` Eli Zaretskii
2023-11-01 13:17                                                                 ` Emanuel Berg
2023-11-01 14:09                                                                 ` Alan Mackenzie
2023-11-01 14:13                                                                   ` Eli Zaretskii
2023-11-01  1:48                                           ` Richard Stallman
2023-11-01 12:09                                             ` Eli Zaretskii
2023-10-25 12:23                           ` Eli Zaretskii
2023-10-26  2:27                             ` Richard Stallman
2023-10-26  6:49                               ` Eli Zaretskii
2023-10-25  2:47                         ` Richard Stallman
2023-10-20  7:48     ` [External] : Re: Shrinking the C core Arsen Arsenović
2023-10-20 10:08       ` Alfred M. Szmidt
2023-10-21  8:22         ` Emanuel Berg
  -- strict thread matches above, loose matches on Subject: below --
2023-11-03  8:21 What's missing in ELisp that makes, people want to use cl-lib? Pedro Andres Aranda Gutierrez
2023-11-03  9:27 ` João Távora
2023-11-03 10:43   ` Pedro Andres Aranda Gutierrez
2023-11-03 13:37 ` Gerd Möllmann
2023-11-03 14:27   ` Eli Zaretskii
2023-11-03 15:08     ` Gerd Möllmann
2023-11-03 15:13       ` Eli Zaretskii
2023-11-03 15:30         ` Gerd Möllmann
2023-11-03 15:39           ` Eli Zaretskii
2023-11-03 15:49             ` Gerd Möllmann

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=838r7g8pys.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=adam@alphapapa.net \
    --cc=emacs-devel@gnu.org \
    --cc=joaotavora@gmail.com \
    --cc=philipk@posteo.net \
    --cc=rms@gnu.org \
    --cc=stefankangas@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).