Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82708
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 78837 invoked from network); 14 Feb 2015 23:26:02 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 14 Feb 2015 23:26:02 -0000
Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.52 as permitted sender)
X-PHP-List-Original-Sender: yohgaki@gmail.com
X-Host-Fingerprint: 209.85.192.52 mail-qg0-f52.google.com  
Received: from [209.85.192.52] ([209.85.192.52:52472] helo=mail-qg0-f52.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id F0/22-00421-889DFD45 for <internals@lists.php.net>; Sat, 14 Feb 2015 18:26:01 -0500
Received: by mail-qg0-f52.google.com with SMTP id h3so18536499qgf.11
        for <internals@lists.php.net>; Sat, 14 Feb 2015 15:25:57 -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=MqtJXR85mKWtU7bnyovEg1buHTuvZ4PzjA7ZSm1/Er8=;
        b=JbhFN7M23ky40CD8mMsgyU6DH70CL1rViuRNakHIbjyFUTPaelVBl8pB6NYsLSou3+
         MViiAMO+Ppp5bipZLpOqabIXmoiAqlYeU8K5HPh4l2E9bLdExBoFpyAD3z0cNnkZFlVL
         SSjhazlNZmYF6dK0BFhEajNS9AWQHO+T0kdjho1vq55A6qjaFD7HAXZsjRZko2JV0jl1
         glpTAB2DSz9NG8Xxg7pLuDYrxy/zm5UOfvvnWuD+R8Kfgo9SvCtL/Jq9zqerRAyLjY/R
         orJDXqvKJJ//w6XTCfn8xrRDyPp2pYc1WE+0YB2Imjh4Ry6ugbgrvlTTKRPudgW2yDrJ
         JSpg==
X-Received: by 10.140.194.139 with SMTP id p133mr11397871qha.21.1423956357849;
 Sat, 14 Feb 2015 15:25:57 -0800 (PST)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
Received: by 10.229.198.8 with HTTP; Sat, 14 Feb 2015 15:25:17 -0800 (PST)
In-Reply-To: <006f01d048ab$f98ded60$eca9c820$@tutteli.ch>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
 <CA+9eiLuUFiKwOR-BqQEmkQirpAMxgb0GE70Zz7h4WDsd1Me8FQ@mail.gmail.com>
 <CAGa2bXYDvdvRLiOpDk8EnvE00JE4x47SXB9fET4uO2Er_F6s_w@mail.gmail.com>
 <CAL=_i_=mGc_0u0YDCQ7Jiqn_ggyJmQSd_mk_snf7ArDpDXO53A@mail.gmail.com>
 <CA+9eiLur0DVGBNkzFkiTj3POL5B9H0D8=5wE-wuwN2O-FQZNyg@mail.gmail.com>
 <CAL=_i_m=XDKtc2iCSjoquaHkmX862gyMweKS5Xw4AS--oLj19w@mail.gmail.com>
 <CA+9eiLsX=mOOgXmNBKD1L6WKx2=Vy81mThaKa1XCjjAw6R=2vA@mail.gmail.com>
 <CAGa2bXYYp0WQmnTnbsHXzc8XGG0PxOVHu7XvwiMCSJiUWoKeCg@mail.gmail.com>
 <CAGa2bXbKs8cGRTQ1sfeRonnmVXtp7ftVDkz_ALmqr8OnczQxCg@mail.gmail.com>
 <CAGa2bXZ8Wy7bUYgtbajr+GkpQtQEjQLMbFT2mSB5OEnLO2mgfg@mail.gmail.com>
 <CAL=_i_kypYpa3t06peRKwtww=cbh+KhM+iAOtotDGNaFfJBuVA@mail.gmail.com>
 <54DAFD32.3000005@gmail.com> <CA+9eiLtswwOqku57nHLu8fmHOwzvVcqkHTehBQOPUqQb5P2BUw@mail.gmail.com>
 <54DB0BC0.20304@gmail.com> <CA+9eiLsK1JJbyGu5Fxf+MNz63wb8K0661rkMm-h+vTVUZo+0SQ@mail.gmail.com>
 <54DBA801.8060403@gmail.com> <CAGa2bXbzDynFdNDtcdXMv7vm6yeENWryyTu9C_wd+fQCxAWHgA@mail.gmail.com>
 <CAGa2bXaATjM80ykeK4U_3Y+kU5mc_f+TXYdvmBCtgWx7zC7nwA@mail.gmail.com>
 <013801d0481d$d34c5170$79e4f450$@php.net> <002701d04846$50c0d630$f2428290$@tutteli.ch>
 <CAGa2bXa1UHH61FaR47Qtvku3jfsAJGom3qxSwCrDmDOTpCGr4w@mail.gmail.com> <006f01d048ab$f98ded60$eca9c820$@tutteli.ch>
Date: Sun, 15 Feb 2015 08:25:17 +0900
X-Google-Sender-Auth: 8KaH8bDnEcodelbt0hI3h_IylfM
Message-ID: <CAGa2bXa9PNOXzs+Ef5TdxpNq1zgKvcjOAnGkKR94N8Fz9mr1PQ@mail.gmail.com>
To: Robert Stoll <php@tutteli.ch>
Cc: francois <francois@php.net>, Dmitry Stogov <dmitry@zend.com>, 
	Joe Watkins <pthreads@pthreads.org>, Stanislav Malyshev <smalyshev@gmail.com>, 
	PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a114284d6e2aafe050f14ac2c
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a114284d6e2aafe050f14ac2c
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hi Robert,

On Sun, Feb 15, 2015 at 8:14 AM, Robert Stoll <php@tutteli.ch> wrote:

> I think you misunderstood me, I did not have any questions, I merely
> wanted to explain to Fran=C3=A7ois what LSP means, but thanks anyway :)


I understood. You are correct.

Both D and Eiffel has way to get around it.
As I mentioned in previous mails, PHP may be get around with it by default
because it's the nature of PHP. PHP may be extended to follow type theory
in the future when strict_types is enabled.

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a114284d6e2aafe050f14ac2c--