From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Gregory Heytings Newsgroups: gmane.emacs.devel Subject: Re: But then what are namespaces ? Date: Sun, 03 Oct 2021 21:47:50 +0000 Message-ID: References: <87a6jt7ilx.fsf@web.de> <87fstlzlaq.fsf@gmail.com> <20211001070242.GC16352@tuxteam.de> <1dd5e2c1f42bce50dc26@heytings.org> <6969a83a74f7bebe69f2@heytings.org> <6969a83a74b57d3d7839@heytings.org> <6969a83a7447c1963410@heytings.org> <6969a83a74ab69ebd555@heytings.org> <6969a83a74f286a96423@heytings.org> Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=us-ascii Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4442"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun Oct 03 23:49:09 2021 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 1mX9M5-0000v0-FX for ged-emacs-devel@m.gmane-mx.org; Sun, 03 Oct 2021 23:49:09 +0200 Original-Received: from localhost ([::1]:34464 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mX9M3-0003EE-JV for ged-emacs-devel@m.gmane-mx.org; Sun, 03 Oct 2021 17:49:07 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:56758) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mX9Ks-0002WJ-Dy for emacs-devel@gnu.org; Sun, 03 Oct 2021 17:47:54 -0400 Original-Received: from heytings.org ([95.142.160.155]:35876) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mX9Kq-0004SN-Jf for emacs-devel@gnu.org; Sun, 03 Oct 2021 17:47:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=heytings.org; s=20210101; t=1633297670; bh=OddPvplPmaD/fPE74+TrLDPU9zeb9pnuKDd7eKRde2s=; h=Date:From:To:cc:Subject:In-Reply-To:Message-ID:References:From; b=NLY3+hf0JKl74q6PRmzf9fucqh8CXD/vxyeQY1YLYegt0KsayrOfCB+KSM8ql8eh2 RyF5QfJUslxlfeOii2KAawpq6IOueDLBxRzVyGFoyASGY+B4pfE2LOPKQRQ/F+SGiq CyBBSVlrantewjYSNl/zuAasUaIG88M5U8LiFFmveITilQoAcYhfIvDy2S+UwOkQHY +hGAo/2EOzDgSu5eDkX2NIprDKOfPYqZnveusr/UP+umvfrssNN4bGNy8aCpmmUjb3 QsKEVMAiJZNe8iCf9fYkNKTtVc6Ev+ej5/wXcZ296z149XRfIkGYVfys6wMMfl8piX n5b3YUUPiuB5w== In-Reply-To: Received-SPF: pass client-ip=95.142.160.155; envelope-from=gregory@heytings.org; helo=heytings.org X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no 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:276137 Archived-At: >> (I'm not sure what you mean by "many/most", I at least don't know >> languages with namespaces that use a different strategy.) > > Some languages take extra steps to try and avoid relying on a unique > global namespace, and rely instead exclusively on relative names. > > See https://dl.acm.org/doi/abs/10.1145/325478.325518 for instance. > Whether that can be considered as having a unique global namespace or > not is somewhat philosophical, admittedly (and the abstract itself > suggests the authors aren't sure either ;-) > Thanks for the pointer! It'll take me some time to digest that rather long paper. From what I've understood after glancing through it, what they discuss is more an make-like utility that automatically renames the identifiers exported by individual modules to avoid name clashes than a new namespace strategy at the programming language level.