From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Andrea Corallo Newsgroups: gmane.emacs.devel Subject: Re: A prototype for a binding based approach to proper namespaces Date: Sun, 10 May 2020 08:24:36 -0700 Message-ID: References: <87wo5k1ycq.fsf@t510.orion.oneofus.la> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="128560"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cc: Daniel Colascione , emacs-devel@gnu.org To: Vladimir Sedach Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun May 10 17:25:30 2020 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 1jXnpa-000XHy-KP for ged-emacs-devel@m.gmane-mx.org; Sun, 10 May 2020 17:25:30 +0200 Original-Received: from localhost ([::1]:39030 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jXnpZ-0004Up-3q for ged-emacs-devel@m.gmane-mx.org; Sun, 10 May 2020 11:25:29 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:52156) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jXnov-00043u-6c for emacs-devel@gnu.org; Sun, 10 May 2020 11:24:49 -0400 Original-Received: from mx.sdf.org ([205.166.94.20]:54922) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jXnot-00086s-OY for emacs-devel@gnu.org; Sun, 10 May 2020 11:24:48 -0400 Original-Received: from sdf.org (ma.sdf.org [205.166.94.33]) by mx.sdf.org (8.15.2/8.14.5) with ESMTPS id 04AFOc06026019 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits) verified NO); Sun, 10 May 2020 15:24:38 GMT Original-Received: (from akrl@localhost) by sdf.org (8.15.2/8.12.8/Submit) id 04AFOawA026770; Sun, 10 May 2020 08:24:36 -0700 In-Reply-To: <87wo5k1ycq.fsf@t510.orion.oneofus.la> (Vladimir Sedach's message of "Sat, 09 May 2020 16:29:25 -0700") Received-SPF: pass client-ip=205.166.94.20; envelope-from=akrl@sdf.org; helo=mx.sdf.org X-detected-operating-system: by eggs.gnu.org: First seen = 2020/05/10 11:24:46 X-ACL-Warn: Detected OS = ??? X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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" Xref: news.gmane.io gmane.emacs.devel:249665 Archived-At: Vladimir Sedach writes: >> Now, I think when compiling would a fair assumtion that libraries (B and >> C here) never unimport and redefine variables or functions. With this >> assumptoon should be very easy to compile out all intermediate >> indirections (bindings) except the last 'effective' one. > > Why would you need the extra redirection? If you resolve the chain at > compile-time, it should be the same as calling a function defined > with flet. E function defined with flet is in the lexical scope, here we are talking about global variables. Anyway an indirection more respect of what we have now is not needed, I corrected myself here: https://lists.gnu.org/archive/html/emacs-devel/2020-05/msg01305.html Andrea -- akrl@sdf.org