From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Drifting towards a statically typed Emacs Lisp. [Was: Introducing
 'safety' compilation parameter]
Date: Fri, 10 May 2024 09:31:43 +0300
Message-ID: <865xvm5ga8.fsf@gnu.org>
References: <yp18r0lzz41.fsf@fencepost.gnu.org> <ZjoYHQ5cHPqpKInW@ACM>
 <86v83pahks.fsf@gnu.org> <ZjpR3hHfIBjjmb7d@ACM>
 <E1s5DYa-0006SX-3y@fencepost.gnu.org>
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="12308"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: acm@muc.de, emacs-devel@gnu.org
To: rms@gnu.org
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri May 10 08:33:03 2024
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1s5JoT-0002uE-Kk
	for ged-emacs-devel@m.gmane-mx.org; Fri, 10 May 2024 08:33:01 +0200
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces@gnu.org>)
	id 1s5Jni-0001kR-H9; Fri, 10 May 2024 02:32:14 -0400
Original-Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <eliz@gnu.org>) id 1s5Jng-0001kG-Kd
 for emacs-devel@gnu.org; Fri, 10 May 2024 02:32:12 -0400
Original-Received: from fencepost.gnu.org ([2001:470:142:3::e])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <eliz@gnu.org>)
 id 1s5Jnf-00079f-QA; Fri, 10 May 2024 02:32:11 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date:
 mime-version; bh=/5OHrZaLmR0I0krzZfne4i3rengXX6TlPyY2mtyu++U=; b=Y9MbQ4tGiobY
 A8KAuHn+3BAgljESBHuCC5pgEp47jXowL/rlb6uASrWIZyz6LTMQ0Ac38HW37AhVj8JJBmYPARii5
 PCDtRBZRT6NdKwhyRJRItLvo7uBnDX0lX6H69iJ90CxrDsfnRs5A67xq9vncaemOdDMLycmITJ4lZ
 EeboLNZaGJ8d7s+DZsLcZxWHAlk+xaADSlsQ/BbsRi51P6yeBDWyPhO5hf0waVvrFyCsTtflBGuNu
 RiEN42peD+yEa3qHthKMiQoqbnsliQ9um7cDWWQoV+bW0bxnhPMDFvKz8WNPBqniksHw+30bMTqdG
 75OHEnmog6gpUAYHFm0FdA==;
In-Reply-To: <E1s5DYa-0006SX-3y@fencepost.gnu.org> (message from Richard
 Stallman on Thu, 09 May 2024 19:52:12 -0400)
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Xref: news.gmane.io gmane.emacs.devel:319107
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/319107>

> From: Richard Stallman <rms@gnu.org>
> Cc: emacs-devel@gnu.org
> Date: Thu, 09 May 2024 19:52:12 -0400
> 
> But what worries me is that users who want the highest speed
> will put pressure on all Emacs developers to add type declaratons
> everywhere to give those users the highest possible speed.

The onus will be on the Emacs maintainers to resist that pressure.  I
don't see how that pressure is any different from any other pressure
put on us about any other kind of changes.  It's part of our job to
deal with that, and deal correctly.