Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:58307
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.212.42 as permitted sender)
Received-SPF: pass (google.com: domain of kris.craig@gmail.com designates 10.52.71.114 as permitted sender) client-ip=10.52.71.114;
MIME-Version: 1.0
In-Reply-To: <CAGovj_MuUqMaVb_dPTNvTPkD3BcNPGkx88i5uQbbVe=j+dGA8Q@mail.gmail.com>
References: <CAG=uTXEfTBqX7n0_zfGjB_txQFKtZXF4MOo6RHHPSRPerGeKZA@mail.gmail.com>
	<CAGovj_O5UQx9aAaYg302i-kKp13CtBKNLmQ48OLHNvk61rM1sw@mail.gmail.com>
	<1330357150.2159.30.camel@guybrush>
	<CAGovj_MUt60EJfG8a7r-cqrC2PKsi8mqh6v_iyNoRDq8q-jh2Q@mail.gmail.com>
	<CAH-PCH6Bre5yzc6r3zxEj3=zZY0PHDOCVQ0s=f8JBDSPnK+5Fw@mail.gmail.com>
	<CAAyV7nFmfhb97CGAK1ZAkp9qb3oCPxbUDnS-Z-v3cP2APcYs=g@mail.gmail.com>
	<CAKOpQSwTGMcuGs5fDvA0kF7QJamooU7hnqtDFMaCh80amt7kcQ@mail.gmail.com>
	<CAKOpQSx_tJfrRx4uRDfcP94bN1qYw=WOktCKf3Xt-AizN=Lk0A@mail.gmail.com>
	<ee25d764561a39bb5b4459b3bd7e7089.squirrel@www.l-i-e.com>
	<A633CF2D7C7BED41B41F1E64F25507B8069DC46C3A@MAILR001.mail.lan>
	<CAKOpQSyxDDqiaXQbVZHE-5K_hOS8dOx4g6Bsj+yJ9BjmTOMh8Q@mail.gmail.com>
	<693e15008681dfe7372eaea66214f8a8.squirrel@www.l-i-e.com>
	<CAKOpQSxh78xMqm=aQ1jBx1T4VJ-BfKHQkxha4B=mHe6TAeiQGw@mail.gmail.com>
	<A633CF2D7C7BED41B41F1E64F25507B8069DC46CEF@MAILR001.mail.lan>
	<CAKOpQSyyXfuCmcx63EgoQa-pkUxT+STS=TNOJvTQ1JEwG=VKow@mail.gmail.com>
	<4F4D5D44.5090307@developersdesk.com>
	<CAGovj_MuUqMaVb_dPTNvTPkD3BcNPGkx88i5uQbbVe=j+dGA8Q@mail.gmail.com>
Date: Tue, 28 Feb 2012 15:17:00 -0800
Message-ID: <CAKOpQSx0mgixv3DA8FS0hL5QNb-8p5v6u=jYQ5d7HRuAVr6P1Q@mail.gmail.com>
To: Michael Morris <dmgx.michael@gmail.com>
Cc: internals@lists.php.net
Content-Type: multipart/alternative; boundary=20cf3071d0d4909f3004ba0e6c87
Subject: Re: [PHP-DEV] Scalar type hinting
From: kris.craig@gmail.com (Kris Craig)

--20cf3071d0d4909f3004ba0e6c87
Content-Type: text/plain; charset=ISO-8859-1

+1 on that.

However, I believe the coder should also have the option of determining
whether this should be recoverable or not, just like they have a choice
with regard to using "include" or "require" (one fails gracefully, the
other terminates execution).

That's where I think strong/weak could be very useful.  Here's how I would
do it:

weak int $a = "House"; // Throws E_WARNING
strong int $a = "House"; // Throws E_RECOVERABLE_ERROR


In both cases, the error can be caught, which would mirror the flexibility
in languages like C#.  However, if the weak one isn't caught, the warning
is thrown but the script proceeds as normal.  If the strong one isn't
caught, the script will terminate as if it was an E_ERROR.

I think this would be the most sensible approach in terms of balancing
simplicity and flexibility.

--Kris


On Tue, Feb 28, 2012 at 3:08 PM, Michael Morris <dmgx.michael@gmail.com>wrote:

> Agreed.  If conversion can occur without data loss (that is, if the
> value being assigned is == the value that actually IS assigned) then
> no error should occur.
>
> So
>
> int $a = "1"; // no error.  1 == "1" so who cares?
> int $a = 'House'; // error 0 != 'House', so this is a problem.
>
> Again, errors should only raise if the final value != source value.
>
> On Tue, Feb 28, 2012 at 6:03 PM, Rick WIdmer <vchkpw@developersdesk.com>
> wrote:
> > On 2/28/2012 2:58 PM, Kris Craig wrote:
> >
> >> strong int $a = "1"; // Converts to 1.  May or may not throw an error
> (I'm
> >> still on the fence).
> >
> >
> > It this is an error, it is no longer PHP.
> >
> >
> > --
> > PHP Internals - PHP Runtime Development Mailing List
> > To unsubscribe, visit: http://www.php.net/unsub.php
> >
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--20cf3071d0d4909f3004ba0e6c87--