From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Alfred M. Szmidt" Newsgroups: gmane.emacs.devel Subject: Re: Shrinking the C core Date: Wed, 23 Aug 2023 03:04:10 -0400 Message-ID: References: <20230809094655.793FC18A4654@snark.thyrsus.com> <87fs4pkkqi.fsf@dataswamp.org> <87jztzkgct.fsf@dataswamp.org> <87y1if8j8t.fsf@linux-m68k.org> <87y1ifi9fv.fsf@dataswamp.org> <87zg2uqdmv.fsf@localhost> <87edk3gbh3.fsf@dataswamp.org> <87jztvnuyb.fsf@localhost> <875y5bdutt.fsf@dataswamp.org> <87y1i6e1uh.fsf@localhost> <874jkub40o.fsf@dataswamp.org> <87jztqdw2l.fsf@localhost> <87msym9i4r.fsf@dataswamp.org> <87a5ula1zt.fsf@dataswamp.org> <87sf8a7hue.fsf@dataswamp.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32284"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org To: Emanuel Berg Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Aug 23 09:05:17 2023 Return-path: 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 ) id 1qYhvZ-00088H-3B for ged-emacs-devel@m.gmane-mx.org; Wed, 23 Aug 2023 09:05:17 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qYhuo-0005dC-EX; Wed, 23 Aug 2023 03:04:30 -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 ) id 1qYhum-0005bX-8d for emacs-devel@gnu.org; Wed, 23 Aug 2023 03:04:29 -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 ) id 1qYhul-0003Bn-AU; Wed, 23 Aug 2023 03:04:27 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=Date:References:Subject:In-Reply-To:To:From: mime-version; bh=VCPOcxVtiw7J5jsl41HRqYxfscL1yYoWsS62RvC+6Io=; b=XV9gzbHuRpri E4oG0VkSRcd8CmLrgX+joMzWewkli0JgNOtKUijHKE/0b/s53tkr4mKexXvao4jIEV4J4Wz2DGsV0 H4ajVpl6EenP352W54EqIQMkbZgjavB/wUM8j0g6gSCw1WQWH8csm9PIEcT7GrlS1RhhM2XC624GL c5Ox8WM8HRPyKjYn6L9eIebiOH4eSgryoEyudiW5+3n9KBLR5K7IvELp7cnIRmn2GwFLa9dYT4L5X tnwQbw6z8nZNMvfi6FqLtpyCtlJQVX4onvD1w22jEkIDEZKxVqybsz6aQ/iAF6pvgDbAD5GqO8y7c jKoJzO02dzk8gYzcd2fTfw==; Original-Received: from ams by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1qYhuU-0007Ic-54; Wed, 23 Aug 2023 03:04:21 -0400 In-Reply-To: <87sf8a7hue.fsf@dataswamp.org> (message from Emanuel Berg on Wed, 23 Aug 2023 01:55:21 +0200) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 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-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:309124 Archived-At: Those methods cannot be used to get a statically typed Lisp? Why not? Because of the Lisp syntax? (let ((x 123) (setq x "foo") (setq x current-buffer)) You cannot disallow the above, or prohibit it -- you'd get a entierly different language that isn't Lisp. You can tell the compiler that "yes, I promise that X is a fixnum", but in a statically typed error that is an hard errror.