Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:71336
Return-Path: <ajf@ajf.me>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 9555 invoked from network); 20 Jan 2014 19:24:32 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 20 Jan 2014 19:24:32 -0000
Authentication-Results: pb1.pair.com header.from=ajf@ajf.me; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=ajf@ajf.me; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain ajf.me designates 198.187.29.233 as permitted sender)
X-PHP-List-Original-Sender: ajf@ajf.me
X-Host-Fingerprint: 198.187.29.233 imap1.ox.registrar-servers.com  
Received: from [198.187.29.233] ([198.187.29.233:56573] helo=imap1.ox.registrar-servers.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id B9/C4-02192-FE77DD25 for <internals@lists.php.net>; Mon, 20 Jan 2014 14:24:32 -0500
Received: from localhost (localhost [127.0.0.1])
	by oxmail.registrar-servers.com (Postfix) with ESMTP id A3EB920007B;
	Mon, 20 Jan 2014 14:24:28 -0500 (EST)
X-Virus-Scanned: Debian amavisd-new at imap1.ox.registrar-servers.com
Received: from oxmail.registrar-servers.com ([127.0.0.1])
	by localhost (imap1.ox.registrar-servers.com [127.0.0.1]) (amavisd-new, port 10024)
	with LMTP id KBwG5xUxUBiM; Mon, 20 Jan 2014 14:24:28 -0500 (EST)
Received: from [192.168.0.200] (unknown [176.25.177.94])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by oxmail.registrar-servers.com (Postfix) with ESMTPSA id 774D4200057;
	Mon, 20 Jan 2014 14:24:25 -0500 (EST)
Message-ID: <52DD77E8.8000800@ajf.me>
Date: Mon, 20 Jan 2014 19:24:24 +0000
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0
MIME-Version: 1.0
To: Sara Golemon <pollita@php.net>, 
 Philip Sturgeon <pjsturgeon@gmail.com>
CC: Robert Stoll <php@tutteli.ch>, Joe Watkins <pthreads@pthreads.org>, 
 "internals@lists.php.net" <internals@lists.php.net>
References: <CABDNdAGCH5i9-=4Ys1CXeNaGWGmX=mkTiq0b7BbUKtBPdQ9XVg@mail.gmail.com>	<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> <CAESVnVp8wjeCXKA6g=0mNzj3E0sR2FKtNRrzL7zPgsEk71Em7w@mail.gmail.com>
In-Reply-To: <CAESVnVp8wjeCXKA6g=0mNzj3E0sR2FKtNRrzL7zPgsEk71Em7w@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Introducing "Array Of" RFC
From: ajf@ajf.me (Andrea Faulds)



On 20/01/14 19:17, Sara Golemon wrote:
> ArrayOf is not a separate topic from Generics, it is by definition a
> narrowly-scoped form of generics.  "ArrayOf Foo" is a "Foo"
> specialization of the array generic (even if it's not labeled as such
> due to not having other types of generics).  "This is an array, but
> it's an array just for Foos".  Can arrayof be implemented in a way
> which hides this heritage? Sure, but should it?

This is a quite good point. If we're introducing limited-scope Generics 
here, what's wrong with using Generics syntax, especially since it will 
be familiar to C#, C++ and Java users?
-- 
Andrea Faulds
http://ajf.me/