Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92337 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 60903 invoked from network); 15 Apr 2016 15:59:24 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 15 Apr 2016 15:59:24 -0000 Authentication-Results: pb1.pair.com header.from=fsb@thefsb.org; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=fsb@thefsb.org; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain thefsb.org designates 173.203.187.107 as permitted sender) X-PHP-List-Original-Sender: fsb@thefsb.org X-Host-Fingerprint: 173.203.187.107 smtp107.iad3a.emailsrvr.com Linux 2.6 Received: from [173.203.187.107] ([173.203.187.107:50872] helo=smtp107.iad3a.emailsrvr.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id E6/B4-29891-BDF01175 for ; Fri, 15 Apr 2016 11:59:24 -0400 Received: from smtp6.relay.iad3a.emailsrvr.com (localhost.localdomain [127.0.0.1]) by smtp6.relay.iad3a.emailsrvr.com (SMTP Server) with ESMTP id 1F6DB18016B; Fri, 15 Apr 2016 11:59:21 -0400 (EDT) X-Auth-ID: fsb@thefsb.org Received: by smtp6.relay.iad3a.emailsrvr.com (Authenticated sender: fsb-AT-thefsb.org) with ESMTPSA id 03CFD18048E; Fri, 15 Apr 2016 11:59:20 -0400 (EDT) X-Sender-Id: fsb@thefsb.org Received: from yossy.local (c-66-30-62-12.hsd1.ma.comcast.net [66.30.62.12]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA) by 0.0.0.0:587 (trex/5.5.4); Fri, 15 Apr 2016 11:59:21 -0400 To: Stanislav Malyshev References: <570E99AC.3090804@fleshgrinder.com> <570EA5EB.8090501@fleshgrinder.com> <570EAB0D.6080706@gmail.com> <570EB4DF.4020007@gmail.com> Cc: internals@lists.php.net Message-ID: <57110FCF.9070307@thefsb.org> Date: Fri, 15 Apr 2016 11:59:11 -0400 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 MIME-Version: 1.0 In-Reply-To: <570EB4DF.4020007@gmail.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] Improving PHP's type system From: fsb@thefsb.org (Tom Worster) On 4/13/16 5:06 PM, Stanislav Malyshev wrote: >> Types are designed in a way enhancing the languages experience while >> avoiding nearly every impact for people who want to ignore them. > > This is not true. If it's in language, you have to understand it to be > able to use the language. Nobody writes code in vacuum - there are > libraries, communities, teams, best practices, tutorials, etc. So if > (hypothetically) you want to introduce algebraic types in PHP, then > since that moment you can not really be a PHP programmer if you don't > understand algebraic types. Otherwise you would not be able to > communicate with the rest of the community, understand and use code > written by others, contribute to projects, etc. I agree. This is an important point. I should include it in my RFC[1] that argues pro nullable return but contra nullable params or unions. May I copy-paste? Tom [1] https://wiki.php.net/rfc/nullable_returns