Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125122
Feedback-ID: id5114917:Fastmail
Precedence: bulk
MIME-Version: 1.0
Date: Fri, 23 Aug 2024 12:28:13 +0100
To: internals@lists.php.net
Message-ID: <f181aa1d-b23a-487e-b0ce-addf9c15d9a5@app.fastmail.com>
In-Reply-To: <53BD062A-4D7F-4E5D-852E-6D27641213A8@koalephant.com>
References: <21D6F160-5EAE-44FA-907B-E1DAAC1B8D75@rwec.co.uk>
 <53BD062A-4D7F-4E5D-852E-6D27641213A8@koalephant.com>
Subject: Re: [PHP-DEV] [Concept] Flip relative function lookup order (global, then
 local)
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
From: imsop.php@rwec.co.uk ("Rowan Tommins [IMSoP]")

On Fri, 23 Aug 2024, at 10:58, Stephen Reay wrote:
> In a world where global functions take precedence over local ones 
> because some people don't like writing a single \ character, 
> autoloading would be a moot point because if you preference global 
> functions you're implicitly telling developers they shouldn't write 
> namespaced functions, by making them harder and less intuitive to use.

Sorry to reply to the same message twice, but as a concrete example, consider this code:

// Definition
namespace Acme\Foo;
class Utils {
    public static function magic(string $x): int {
        return \strlen($x);
    }
    public static function more_magic(string $x): int {
         return self::magic($x) * 2;
    }
}

// Caller
namespace Acme\MyApp\SearchPage;
use Acme\Foo\Utils;
echo Utils::more_magic($_GET['query']);


Rewritten as namespaced functions, with current PHP:

// Definition
namespace Acme\Foo\Utils;
function magic(string $x): int {
     return strlen($x);
}
function more_magic(string $x): int {
      return magic($x) * 2;
}

// Caller
namespace Acme\MyApp\SearchPage;
use Acme\Foo\Utils;
echo Utils\more_magic($_GET['query']);



With "unqualified names are global", but a new "_\" shorthand for "relative to current", the caller is completely unaffected, but the definition becomes:

namespace Acme\Foo\Utils;
function magic(string $x): int {
     return strlen($x);
}
function more_magic(string $x): int {
      return _\magic($x) * 2;
}

Note how the "_\" is used in all the same places as "self::" was in the "static class" version.

With "unqualified names are local", the change is very similar, but "the other way around":

namespace Acme\Foo\Utils;
function magic(string $x): int {
     return \strlen($x);
}
function more_magic(string $x): int {
      return magic($x) * 2;
}

Regards,
-- 
Rowan Tommins
[IMSoP]