From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Daniel Colascione Newsgroups: gmane.emacs.devel Subject: Re: A prototype for a binding based approach to proper namespaces Date: Fri, 08 May 2020 16:43:43 -0700 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset="us-ascii" Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="79394"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: AquaMail/1.24.0-1585 (build: 102400006) To: Andrea Corallo , Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat May 09 01:46:17 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 1jXCh4-000KYY-6h for ged-emacs-devel@m.gmane-mx.org; Sat, 09 May 2020 01:46:14 +0200 Original-Received: from localhost ([::1]:34098 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jXCh3-00014y-2F for ged-emacs-devel@m.gmane-mx.org; Fri, 08 May 2020 19:46:13 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:47970) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jXCep-0008U1-Bu for emacs-devel@gnu.org; Fri, 08 May 2020 19:43:55 -0400 Original-Received: from dancol.org ([2600:3c01::f03c:91ff:fedf:adf3]:41756) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jXCen-0002S4-Ik for emacs-devel@gnu.org; Fri, 08 May 2020 19:43:55 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=dancol.org; s=x; h=Message-Id:Content-Transfer-Encoding:Content-Type:MIME-Version: Subject:References:In-Reply-To:Date:To:From:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=BqddFfGAYXEs3sQ5AWNnK8eIUMb/iysMJsF4UFpRbRM=; b=hGWugWuG5kukEBLhn/1PMff+73 +JL3hNxOpH/ZKxzLZXW7zWaPColaaObCvtb/IULbBRf5RT+kp07TuADmM1SodVhFlykHi/LpFxoZN 88pRHCDBXVz6jXabap8+Teirrh6XVdF6RU0QswqM2LDhk1Ki41IMmNVyRnhhs+j4T3VkWUbMM/wNh tntU09Lz2MtkAdPWMZBQFyvVR4ur2pNC4wyXiMFIZCKJrTzdHod/SBuNUgmhjguveQA2j7HcPKIoM 5NgU6x33Js9XvMXiHfzz37WBy8J9ukeZdidG+9FiJo+KjiW5UKSD5lp+6WHaJV3S7C+2Vo/R1WRDZ Q8V24RkA==; Original-Received: from [172.58.43.37] (helo=[33.189.252.15]) by dancol.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1jXCef-0007uy-Lm; Fri, 08 May 2020 16:43:45 -0700 In-Reply-To: Received-SPF: pass client-ip=2600:3c01::f03c:91ff:fedf:adf3; envelope-from=dancol@dancol.org; helo=dancol.org X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: 12 X-Spam_score: 1.2 X-Spam_bar: + X-Spam_report: (1.2 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_SBL_CSS=3.335, SPF_HELO_PASS=-0.001, 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:249341 Archived-At: On May 8, 2020 1:49:05 PM Andrea Corallo wrote: > Hi all, > > given the ongoing discussion on namespaces I thought was interesting to > try out a prototype to reason on. > > I wrote a short page explaining what I did and how it is implemented: > > https://akrl.sdf.org/lexspaces/lexspaces.html > > It's a quick hack, certainly many pieces are missing, is potentially a > very bad idea, but I'd be interested in opinions. If the set of imports is known at compile time, why do we need to pay the runtime cost of the binding? If we adopt the short prefix alias approach proposed elsewhere, we don't have the problem of bare symbol aliasing. > > Andrea > > -- > akrl@sdf.org