Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:71317
Return-Path: <php@tutteli.ch>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 46412 invoked from network); 20 Jan 2014 09:58:23 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 20 Jan 2014 09:58:23 -0000
Authentication-Results: pb1.pair.com smtp.mail=php@tutteli.ch; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=php@tutteli.ch; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain tutteli.ch designates 80.74.154.78 as permitted sender)
X-PHP-List-Original-Sender: php@tutteli.ch
X-Host-Fingerprint: 80.74.154.78 ns73.kreativmedia.ch Linux 2.6
Received: from [80.74.154.78] ([80.74.154.78:43570] helo=hyperion.kreativmedia.ch)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id B8/E8-02192-E33FCD25 for <internals@lists.php.net>; Mon, 20 Jan 2014 04:58:23 -0500
Received: (qmail 13191 invoked from network); 20 Jan 2014 10:58:17 +0100
Received: from heim-032-99.raab-heim.uni-linz.ac.at (HELO RoLaptop) (193.171.32.99)
  by ns73.kreativmedia.ch with (AES128-SHA encrypted) SMTP; 20 Jan 2014 10:58:17 +0100
To: "'Lazare Inepologlou'" <linepogl@gmail.com>
Cc: "'internals'" <internals@lists.php.net>
References: <CABDNdAGCH5i9-=4Ys1CXeNaGWGmX=mkTiq0b7BbUKtBPdQ9XVg@mail.gmail.com> <002d01cf1234$01e6dc60$05b49520$@tutteli.ch> <CABDNdAEAQyyLQXFw3tw8S9Rb=+9Z-k1K_geX6HG7x1reCoJ5Rw@mail.gmail.com> <004c01cf123d$35730870$a0591950$@tutteli.ch> <52D71748.1090402@googlemail.com> <52D71FAE.8030002@ajf.me> <005001cf124f$3a40df00$aec29d00$@tutteli.ch> <CAEp07h_KDafvOMzxVmgQq1XMeO_N3CWdFCN0vVgdxXtEn6imKg@mail.gmail.com> <20140116110127.202079vzjsj76n7b@webmail.tutteli.ch> <0B.B1.24763.139B7D25@pb1.pair.com> <002001cf12da$2bfbda90$83f38fb0$@tutteli.ch> <CAMUwpuRLfwru8XT64=j5LsNyG_DkwU_i0oHPHqfmn2HuLt+28A@mail.gmail.com> <CAGAGxbZcj91m0DgBi8ZMBWw400nem+Xkt6VbFBxSVLYWYEC0VA@mail.gmail.com> <CAFRKLUNL_4Kyxe3HRs70Xgsiy4pKo0rsEnEyPCT80B7W20U6jQ@mail.gmail.com> <CAGAGxba2U0_pK0kXx-+N=34UJiLUd9ev-TNf=R+jMzzVRGzW3w@mail.gmail.com> <CAL+t6cE5KxpfSny3pNyW1s-0v00ocC7g=ee6AKcxo1bYoBrKeg@mail.gmail.com> <CABDNdAG60oWEkjRegE4qc6WE_KcJvv=uqtVPRzihm-42PRcgyg@mail.gmail.com> <52DCA3E7.80602@lerdorf.com> <52DCC067.9090603@gar
	fieldtech.com> <CAJ26g5T9R8U4dJrmr1E-XZCe=RH65QQCEt7F5dQ1MfsR+LbSZQ@mail.gmail.com> <CAMyk_Abb6-+yfch18sMXRf_fZGehaKBU1qsdMMPXugjFtJLeMg@mail.gmail.com>
In-Reply-To: <CAMyk_Abb6-+yfch18sMXRf_fZGehaKBU1qsdMMPXugjFtJLeMg@mail.gmail.com>
Date: Mon, 20 Jan 2014 10:58:15 +0100
Message-ID: <004701cf15c6$23660470$6a320d50$@tutteli.ch>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Outlook 14.0
Thread-Index: AQGahXeLh/KZbd8XAeJ9KP0Xitay+ALEucEqAx8utqACqtBDzQKRtClgAWWf+lcCX4Kx1gHC+GyIAgNcg4YBEz9CWQDvBFdyAu6br9kCL2LDqQKSKc2VAbc66pQDJngE8QEOUWWkAR3dyz8DGmSzsAGY8C43AO12gL2Zrjje8A==
Content-Language: de-ch
Subject: RE: [PHP-DEV] Introducing "Array Of" RFC
From: php@tutteli.ch ("Robert Stoll")

Hey Lazare

> -----Original Message-----
> From: Lazare Inepologlou [mailto:linepogl@gmail.com]
> Sent: Monday, January 20, 2014 10:54 AM
> Cc: internals
> Subject: Re: [PHP-DEV] Introducing "Array Of" RFC
> 
> Hello,
> 
> 
> on 2014/1/16 Sara Golemon wrote:
> 
> > * Soft types - Any type preceeded by an at sign is hinted as that type,
> > but not checked:
> > function foo(@Bar $IHopeYoureABarObject) {...}
> 
> 
> Nobody has commented so far about this feature of HHVM, which, in my
> opinion is a win-win:
> 
> + Clarifies the contract between the function designer and the function
> user.
> + Makes the life easy for IDEs and static analysis tools.
> + No run-time penalty.
> 
> Thoughts?
> 

I think it suits PHP very well but that would definitely be a different RFC.
And btw. "soft" type hints would not work for typed arrays (since this can only be checked during runtime