Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:109277
MIME-Version: 1.0
References: <1b781e1e-3f27-485b-ab47-5eeaf9496548@www.fastmail.com>
 <CAF+90c-UoKFF4tWZ-PqX5iMbvXzENs1SLVS1uEz67O-Uj8FsYg@mail.gmail.com> <aebfc051-6b10-4155-b45d-8396721a392e@www.fastmail.com>
In-Reply-To: <aebfc051-6b10-4155-b45d-8396721a392e@www.fastmail.com>
Date: Tue, 24 Mar 2020 16:11:35 +0100
Message-ID: <CAH5C8xWvbvtJjsVyXfad5kMfdF5S8hmZrqe3Hh1OawyrWpY-zQ@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000009bf16f05a19b2b75"
Subject: Re: [PHP-DEV] Improving PHP's Object Egonomics: A broad analysis
From: kocsismate90@gmail.com (=?UTF-8?B?TcOhdMOpIEtvY3Npcw==?=)

--0000000000009bf16f05a19b2b75
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

>
> If the answer to that is "well don't do that", then what's the
> alternative?  PHP offers no other syntax for evolvable immutable objects
> than private properties with Wither methods.  Making Wither methods harde=
r
> makes evolvable immutable objects harder.  Unless there's some entirely
> different approach I am not aware of to achieve the same goal, in which
> case please share. :-)
>

For transparency purposes: the idea I presented during the discussion of
"write-once" properties was
to make the following syntax (or a similar one) possible in order to make
cloning of these properties possible:
> $self =3D clone $this with {property1: "foo", ...};
It would clone the object and in the same time change the listed properties
(no matter if they have the "write-once"
flag). It would also take visibility rules into account, so a private
property could only be modified in the private scope.

I think this idea would address your concerns, although I haven't received
any feedback about it yet,
so I'm not sure if it has any gotchas/edge cases that would make it or its
implementation infeasible.

M=C3=A1t=C3=A9

--0000000000009bf16f05a19b2b75--