Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:57047 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 966 invoked from network); 23 Dec 2011 00:30:31 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 23 Dec 2011 00:30:31 -0000 Authentication-Results: pb1.pair.com header.from=php@stefan-marr.de; sender-id=unknown Authentication-Results: pb1.pair.com smtp.mail=php@stefan-marr.de; spf=permerror; sender-id=unknown Received-SPF: error (pb1.pair.com: domain stefan-marr.de from 81.20.134.149 cause and error) X-PHP-List-Original-Sender: php@stefan-marr.de X-Host-Fingerprint: 81.20.134.149 vps-1012701-4512.united-hoster.de Received: from [81.20.134.149] ([81.20.134.149:58828] helo=vps-1012701-4512.united-hoster.de) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 11/41-28504-F9BC3FE4 for ; Thu, 22 Dec 2011 19:30:28 -0500 Received: from dslb-088-074-054-067.pools.arcor-ip.net ([88.74.54.67] helo=[192.168.0.103]) by vps-1012701-4512.united-hoster.de with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1Rdt1b-0003ZA-QR; Fri, 23 Dec 2011 01:30:17 +0100 Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=us-ascii In-Reply-To: <4EF3C7F7.9010404@sugarcrm.com> Date: Fri, 23 Dec 2011 01:30:09 +0100 Cc: Will Fitch , =?iso-8859-1?Q?=C1ngel_Gonz=E1lez?= , PHP Developers Mailing List Content-Transfer-Encoding: quoted-printable Message-ID: References: <2095305E-D4E3-4D7E-8218-32EE99688E0C@GMAIL.COM> <2C90FB94-38C4-4270-8C6A-B89304BA8ED8@gmail.com> <159A7CA2-8561-40DA-9434-CAAE12304DDB@gmail.com> <4EF3B56A.4040809@gmail.com> <-2451498990672032588@unknownmsgid> <4EF3BD21.2040301@sugarcrm.com> <-6952580475866195972@unknownmsgid> <4EF3C7F7.9010404@sugarcrm.com> To: Stas Malyshev X-Mailer: Apple Mail (2.1084) Subject: Re: [PHP-DEV] Return Type Hinting for Methods RFC From: php@stefan-marr.de (Stefan Marr) Hi: On 23 Dec 2011, at 01:14, Stas Malyshev wrote: > BTW, which languages you are talking about? PHP peers - Python, Ruby, = Perl, Javascript (to some measure), etc. don't have typing as far as I = know. Comparing PHP to statically compiled strictly typed languages does = not seem very useful to me. So could you clarify what do you mean? Perhaps the newest kid on the block deserves some reference for making = optional typing more mainstream and being more radical about being = checkable documentation: = http://www.dartlang.org/docs/technical-overview/index.html Dart's type system is not sound, and the design goal is to never (NEVER) = interfere with execution semantics. It is more radical than previous = research systems with its not-sound approach of making generics = understandable, but people seem to appreciate that in practice. It might give the necessary example to bridge the worlds between the = 'PHP should be more like Java' and the 'PHP should be more like PHP' = people. Best regards Stefan --=20 Stefan Marr Software Languages Lab Vrije Universiteit Brussel Pleinlaan 2 / B-1050 Brussels / Belgium http://soft.vub.ac.be/~smarr Phone: +32 2 629 2974 Fax: +32 2 629 3525