Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:110948
MIME-Version: 1.0
References: <CAJpLVh3VjCV4kR4n2EGnfYx8J6zQ7FafG7Q6kdbQ0HEMxZHMmw@mail.gmail.com>
 <CAK70goPOPjDXHKvaDBkg++2jve2cMWXgPiZM86JnL_3Yc3rnTg@mail.gmail.com> <DM6PR07MB66183CF7175D1AC5A178E21EF9620@DM6PR07MB6618.namprd07.prod.outlook.com>
In-Reply-To: <DM6PR07MB66183CF7175D1AC5A178E21EF9620@DM6PR07MB6618.namprd07.prod.outlook.com>
Date: Sat, 11 Jul 2020 19:10:41 +0300
Message-ID: <CAGgaK7+_R3UNfxhoNRd5H7nqnc9M=RHH5ZR9QhJsdE4HEFZtiA@mail.gmail.com>
To: tyson andre <tysonandre775@hotmail.com>
Cc: Chuck Adams <cja987@gmail.com>, =?UTF-8?Q?Olle_H=C3=A4rstedt?= <olleharstedt@gmail.com>, 
	PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000009be8f205aa2cb319"
Subject: Re: [PHP-DEV] Possible RFC: UniqueInterface that throws exception at
 refcount > 1
From: maxsem.wiki@gmail.com (Max Semenik)

--0000000000009be8f205aa2cb319
Content-Type: text/plain; charset="UTF-8"

On Sat, Jul 11, 2020 at 5:32 PM tyson andre <tysonandre775@hotmail.com>
wrote:

> This is something that makes more sense in compiled languages like rust
> that can enforce uniqueness at compile time,
> and the dynamic nature of php makes that less practical.
>

Also, crucially, Rust has language features that require a programmer to
specify whether each variable is mutable or not. Without it, Rust's borrow
checker wouldn't be possible. PHP has nothing like it, and introducing it
at this stage would be prohibitively hard.

-- 
Best regards,
Max Semenik

--0000000000009be8f205aa2cb319--