Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:110991
MIME-Version: 1.0
References: <CAJpLVh3VjCV4kR4n2EGnfYx8J6zQ7FafG7Q6kdbQ0HEMxZHMmw@mail.gmail.com>
 <1e39fdcb-16d2-42c3-95cf-507f7b647b50@www.fastmail.com> <CAJpLVh1fyQNPnAPP9SVJ+T4XAGJe95-OYp=w8PsK77zSVr+Qww@mail.gmail.com>
 <3bfb89c5-c8fd-4587-8c1f-8b7bbbaca692@www.fastmail.com> <CAJpLVh0nD87Gu57bPrC51TVyAXhKkEwofkK03SwGQcrP8aEpPQ@mail.gmail.com>
 <C9C198A4-5829-41E2-A14A-548FFDD9AD97@gmail.com> <CAJpLVh3-KAg23OqwBGXwK3nK18f5AXHBF9EwHSY5Gzo2=0gw9g@mail.gmail.com>
In-Reply-To: <CAJpLVh3-KAg23OqwBGXwK3nK18f5AXHBF9EwHSY5Gzo2=0gw9g@mail.gmail.com>
Date: Tue, 14 Jul 2020 09:10:29 +0100
Message-ID: <CALKiJKrQGFbQjPfcL+3jACk4GKs-+ofi2N8KrMeegwLd8cYeyw@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000001232a05aa625866"
Subject: Re: [PHP-DEV] Possible RFC: UniqueInterface that throws exception at
 refcount > 1
From: rowan.collins@gmail.com (Rowan Tommins)

--00000000000001232a05aa625866
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Mon, 13 Jul 2020 at 22:32, Olle H=C3=A4rstedt <olleharstedt@gmail.com> w=
rote:

> In the end I need uniqueness (non-aliasing) to finish my series of
> patches about typestate and type-safe builders to Psalm, but I guess I
> can live without any runtime representation of this, or just suffer
> the hack I already did with zval dump.
>


I think this kind of thing is probably best left to static analysis anyway.
PHP ends up doing much more checking at run-time than most languages
because it has no official static analyser, and no build step where static
analysis can be mandatory. But in the end what you're trying to catch here
is programmer mistakes, not unexpected run-time behaviour.

Regards,
--=20
Rowan Tommins
[IMSoP]

--00000000000001232a05aa625866--