Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:71357
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: softfail (pb1.pair.com: domain golemon.com does not designate 209.85.220.44 as permitted sender)
MIME-Version: 1.0
Sender: php@golemon.com
In-Reply-To: <52DD90E5.2030205@sugarcrm.com>
References: <CABDNdAGCH5i9-=4Ys1CXeNaGWGmX=mkTiq0b7BbUKtBPdQ9XVg@mail.gmail.com>
	<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>
	<52DCED71.3020207@pthreads.org>
	<006301cf15f5$22f8df60$68ea9e20$@tutteli.ch>
	<CABDNdAEbzu+J-GQ73_2ra-tuX3aTGDPxue4_gCXu3iOnQgGpvg@mail.gmail.com>
	<52DD90E5.2030205@sugarcrm.com>
Date: Mon, 20 Jan 2014 13:19:13 -0800
Message-ID: <CAESVnVqk7awSUcqQiA5LRHFmkVeO24KG+vXsNMiPe_O_0hfc0w@mail.gmail.com>
To: Stas Malyshev <smalyshev@sugarcrm.com>
Cc: Philip Sturgeon <pjsturgeon@gmail.com>, 
	"internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [PHP-DEV] Introducing "Array Of" RFC
From: pollita@php.net (Sara Golemon)

> Note that neither generics nor array strict typing gives you that.
> Neither of them can control what is being put into the bag. The only
> thing you can do is to look in the bag and reject what has been put
> there post-factum (actually, with generics you can't do even that -
> generics parametrize you types, but you still have to have the
> typechecks somewhere, so from type checking point generics change
> nothing) - i.e. the check happens not when something is put in the bag
> but when you get the bag and you have to examine that bag (every single
> time you touch it) and pull out each element of it and ensure it is
> still a spanner. If you put the bag down, next time you touch it you
> have to pull out every single thing out of the bag and check if it is a
> spanner *again*. Is it really the bag you want to deal with? I wouldn't
> really want to own such bag, I'm not OCD enough for that :)
>
Well, arrayof using generics-like syntax doesn't give you entrance
type checking, but actual generics would.  Or, to map it into current
PHP terms:

  private $spanners = [];
  public function __offsetset($key, $value) { if (!($value instanceof
Spanner)) throw new Exception("F-off"); $this->spanners[] = $value; }

But this RFC isn't about generics, it's about arrayof typehinting and
ways to make that work for PHP.  Your point about perf is absolutely
valid and one which I'd still like to hear addressed.

-Sara