Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:71176
Return-Path: <yohgaki@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 2101 invoked from network); 16 Jan 2014 10:55:17 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 16 Jan 2014 10:55:17 -0000
Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.182 as permitted sender)
X-PHP-List-Original-Sender: yohgaki@gmail.com
X-Host-Fingerprint: 209.85.217.182 mail-lb0-f182.google.com  
Received: from [209.85.217.182] ([209.85.217.182:51545] helo=mail-lb0-f182.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id F2/12-24763-39AB7D25 for <internals@lists.php.net>; Thu, 16 Jan 2014 05:55:17 -0500
Received: by mail-lb0-f182.google.com with SMTP id w7so1281229lbi.13
        for <internals@lists.php.net>; Thu, 16 Jan 2014 02:55:12 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:from:date:message-id
         :subject:to:cc:content-type;
        bh=9PqfHmBY2BFY7d8UVcoQpaVAQU76PBoVv1bHN/TkT0k=;
        b=LqUOEl67qRHvEyg2uvKpFxWnAIUYF9i3KbNm9K8XM7QNhrSv4vEmV7MX+8JHvgbtDe
         TWkyRcqGYAqntuDypK652xrA+uiyGI6e6u8iUop4mFMOpK7hA9PTtSLKm1NXLk0O51lB
         gFZkyIlhdrt44gG/My/iHK7dtmMXpgJoYgkLt8AR8yAPn0XlMUBwAGRWbtzFR8LkLnJ7
         mbLADuOKQLnotFAC0gHfdCMw1C0khpYXruYza98pJlA19TTuA4khxzudjKEEQTWW3pSP
         cEzugKV/D7wnuXK2uGNxMZ+QKkHuTqCagJtGTt5CwrrQlMy7uJbA1n1wDQi+SuMOdm++
         U3GQ==
X-Received: by 10.152.234.231 with SMTP id uh7mr4797680lac.10.1389869711927;
 Thu, 16 Jan 2014 02:55:11 -0800 (PST)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
Received: by 10.112.6.68 with HTTP; Thu, 16 Jan 2014 02:54:31 -0800 (PST)
In-Reply-To: <0B.B1.24763.139B7D25@pb1.pair.com>
References: <CABDNdAGCH5i9-=4Ys1CXeNaGWGmX=mkTiq0b7BbUKtBPdQ9XVg@mail.gmail.com>
 <001301cf1227$6d082ab0$47188010$@tutteli.ch> <CABDNdAHZTcE09kS-r_XTGOE9Q5EjTsEQyvzd29q0_nUqnPRrfQ@mail.gmail.com>
 <CAF9U7z-qR-JnXmbuS-ok2NnB_QzecM1Z4MGhek77rktdSYmcmQ@mail.gmail.com>
 <CADyq6s+KqD4Sp00NcJKDAAxX+xWT4x1C3_D1zMVqZ1PRKf__9w@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>
Date: Thu, 16 Jan 2014 19:54:31 +0900
X-Google-Sender-Auth: 6IT30pIr1ENHosdR73vnil0j1u4
Message-ID: <CAGa2bXZJdO=4byS6_y9WzfhwMPiZXETRj4ZHhL9dh7KVr9BOjA@mail.gmail.com>
To: Matthieu Napoli <matthieu@mnapoli.fr>
Cc: "internals@lists.php.net" <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113499a476afd204f01442cb
Subject: Re: [PHP-DEV] Introducing "Array Of" RFC
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a113499a476afd204f01442cb
Content-Type: text/plain; charset=UTF-8

Hi all,

On Thu, Jan 16, 2014 at 7:49 PM, Matthieu Napoli <matthieu@mnapoli.fr>wrote:

> The syntax merely hide an ugly design. If you would write the same in
>> normal PHP then probably everyone would agree that it is bad design.
>>
>
> How is type checking a bad design?


Type checking is not bad.

Alternatively, DbC (design by contract) may be useful.
Cleaner and could be faster.

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a113499a476afd204f01442cb--