Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123673
Precedence: bulk
MIME-Version: 1.0
References: <CAPzBOBMidokE3xw251f+_qbCPAyQQRcN1WnyVF0xfuzaPBU3JA@mail.gmail.com>
 <CA+p1FaboniOZWXy4UYK1BxvO+WfwYKpndVCCcWFJHTCQUm_jkQ@mail.gmail.com> <CAPzBOBPA3nx95wUz6ABvDNDLB-jnpe1LPc48o5sVDWPPvxubbA@mail.gmail.com>
In-Reply-To: <CAPzBOBPA3nx95wUz6ABvDNDLB-jnpe1LPc48o5sVDWPPvxubbA@mail.gmail.com>
Date: Wed, 19 Jun 2024 10:38:51 +0100
Message-ID: <CA+p1FaYerZsr-d0Ge2eJX5ajMtqtF2YOVTxEYSiOKhZjEux4DQ@mail.gmail.com>
Subject: Re: [PHP-DEV] Renaming "strict types" to "scalar type coercion"
To: Robert Landers <landers.robert@gmail.com>
Cc: internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000001f2af061b3af8be"
From: davidgebler@gmail.com (David Gebler)

--00000000000001f2af061b3af8be
Content-Type: text/plain; charset="UTF-8"

On Wed, 19 Jun 2024, 09:31 Robert Landers, <landers.robert@gmail.com> wrote:

>
> The problem isn't so much this, but in that it has become a dogma to
> "have working types" and trying to explain why they do or do not
> need/want it in the current context becomes a hopeless argument
> because you are attacking their world-view instead of having an
> academic argument
>

If the feature was an RFC being introduced today and you were suggesting
using a better, more descriptive name than strict_types I'd agree.

But it is what it is, it's already in the language, it's already very
widely used and changing the name now won't solve any problem, to whatever
extent that problem exists (which I honestly don't think is very big), of
there being a cohort of users who rigidly stick to using this declare
because they've been told they should always do so, or because they have a
dogmatic opinion about how PHP's type system should work in their ideal of
the language.

Both those groups would continue to use the directive everywhere,
regardless of what it was called. And it's their code, their right. No one
is under any obligation to engage in an academic argument to justify design
decisions in code they own.

-Dave

>

--00000000000001f2af061b3af8be
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto"><div><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D=
"gmail_attr">On Wed, 19 Jun 2024, 09:31 Robert Landers, &lt;<a href=3D"mail=
to:landers.robert@gmail.com" target=3D"_blank" rel=3D"noreferrer">landers.r=
obert@gmail.com</a>&gt; wrote:</div><blockquote class=3D"gmail_quote" style=
=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
The problem isn&#39;t so much this, but in that it has become a dogma to<br=
>
&quot;have working types&quot; and trying to explain why they do or do not<=
br>
need/want it in the current context becomes a hopeless argument<br>
because you are attacking their world-view instead of having an<br>
academic argument<br></blockquote></div></div><div dir=3D"auto"><br></div><=
div dir=3D"auto">If the feature was an RFC being introduced today and you w=
ere suggesting using a better, more descriptive name than strict_types I=
9;d agree.</div><div dir=3D"auto"><br></div><div dir=3D"auto">But it is wha=
t it is, it&#39;s already in the language, it&#39;s already very widely use=
d and changing the name now won&#39;t solve any problem, to whatever extent=
 that problem exists (which I honestly don&#39;t think is very big), of the=
re being a cohort of users who rigidly stick to using this declare because =
they&#39;ve been told they should always do so, or because they have a dogm=
atic opinion about how PHP&#39;s type system should work in their ideal of =
the language.</div><div dir=3D"auto"><br></div><div dir=3D"auto">Both those=
 groups would continue to use the directive everywhere, regardless of what =
it was called. And it&#39;s their code, their right. No one is under any ob=
ligation to engage in an academic argument to justify design decisions in c=
ode they own.</div><div dir=3D"auto"><br></div><div dir=3D"auto">-Dave</div=
><div dir=3D"auto"><div class=3D"gmail_quote"><blockquote class=3D"gmail_qu=
ote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex=
"></blockquote></div></div></div>

--00000000000001f2af061b3af8be--