Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92329
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.215.54 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <C5.48.64966.B9580175@pb1.pair.com>
References: <CAFMT4Nq+VdfYS+eKbdbmPr92-X1QYCE2eOtPGo6Zu1qgAOGkhA@mail.gmail.com>
	<CAFMT4Nq=QPN9fOMtKa7GDDkf-AECAXjN9WRtn84nUjtKK-zD7w@mail.gmail.com>
	<570E99AC.3090804@fleshgrinder.com>
	<CAFMT4Nq7JV=iv=_AKjez+B8JxZ+rucD4LkEJgHuUg15o7r2hMg@mail.gmail.com>
	<570EA5EB.8090501@fleshgrinder.com>
	<570EAB0D.6080706@gmail.com>
	<570EB67E.8010908@garfieldtech.com>
	<5B147E88-CC0A-4CBC-A49D-C7FE3BF557C0@zend.com>
	<6F.C3.12455.94C5F075@pb1.pair.com>
	<CAFMT4Nr4GmnBBsOfydF5sLOtaEo1rZZiPdGdV8v6y+Z-6PVCOg@mail.gmail.com>
	<C5.48.64966.B9580175@pb1.pair.com>
Date: Fri, 15 Apr 2016 11:32:23 +0200
Message-ID: <CADyq6sJfPYgQvhQt=UvCBqkooJjoUPCz1sUfzwXc+55hL0PpzA@mail.gmail.com>
To: Tony Marston <TonyMarston@hotmail.com>
Cc: PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e0122af2a488d28053082b0f6
Subject: Re: [PHP-DEV] Re: Improving PHP's type system
From: ocramius@gmail.com (Marco Pivetta)

--089e0122af2a488d28053082b0f6
Content-Type: text/plain; charset=UTF-8

Tony, that sounds really like "real programmers use `dd -if -of`". Please
stop with that argument, as it really doesn't reflect reality. I keep
enhancing my software with new (stricter) type checking, when available.
For example, I'm eager to replace current docblocks declaring `void`
methods with the upcoming hint (7.1), and every time I add hints and type
strictness I find new hidden bugs on an already well-tested code (with 100%
coverage and mutation testing). These bugs are legit, they are just waiting
to happen.

Additionally, I would also love to get rid of docblocks for type-systems:
they are unreliable, hard to reflect and enforce nothing, which allows lazy
and sloppy programmers to just circumvent specifications as it best pleases
their mood, rather than the requirements.

Yes, I'm a real programmer too, and no, I don't use cosmic rays to write
code to my computer's hard drive, give it a rest.
On Apr 15, 2016 08:09, "Tony Marston" <TonyMarston@hotmail.com> wrote:

> "Levi Morrison"  wrote in message
> news:CAFMT4Nr4GmnBBsOfydF5sLOtaEo1rZZiPdGdV8v6y+Z-6PVCOg@mail.gmail.com...
>
>>
>> There are too many people out there who are trying to make the language
>>> more complicated than it need be just to prove how clever they are.
>>>
>>
>> I can assure you I am not proposing these RFCs to show how clever I am.
>>
>
> If millions of programmers have written millions of lines of code to write
> effective programs WITHOUT the use of type hinting/enforcement, then how
> come there are some people out there who keep saying that PHP is a bad
> language because it does not have type checking? Those who cannot write
> effective software without these "clever" additions to the language are
> doing nothing but announcing to the world that they are not clever enough
> to write effective software using their own limited abilities.
>
> --
> Tony Marston
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--089e0122af2a488d28053082b0f6--