Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:102851 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 97501 invoked from network); 16 Jul 2018 14:03:30 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 16 Jul 2018 14:03:30 -0000 Authentication-Results: pb1.pair.com header.from=cmbecker69@gmx.de; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=cmbecker69@gmx.de; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.15.18 as permitted sender) X-PHP-List-Original-Sender: cmbecker69@gmx.de X-Host-Fingerprint: 212.227.15.18 mout.gmx.net Received: from [212.227.15.18] ([212.227.15.18:38221] helo=mout.gmx.net) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id FE/2C-39793-EA5AC4B5 for ; Mon, 16 Jul 2018 10:03:29 -0400 Received: from [192.168.2.102] ([79.222.46.149]) by mail.gmx.com (mrgmx003 [212.227.17.190]) with ESMTPSA (Nemesis) id 0LuP5z-1g557e1dUF-011mdB; Mon, 16 Jul 2018 16:03:13 +0200 To: Yasuo Ohgaki , mitke013@gmail.com Cc: PHP internals References: Message-ID: Date: Mon, 16 Jul 2018 16:03:14 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: de-DE Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K1:hYSPV5fDVQnp35g+ciCkr+InCcX0Pfq1BWakxH6xKfJU/Fydaac Gc27WHG8SdvE+pEl32ikz8a3fT4b2ErrFdDdwjpH7zguj8GTrAEZmoFZNq22nm61MsmV7e2 47FceGhGROygs8kLNHJwS7XNJHR9tgWtvcf2FDf1XndKiEwMoOPp/L4utYCk24z+KeKAWWJ XOp11nioq6Gtx5KN8eU9g== X-UI-Out-Filterresults: notjunk:1;V01:K0:yeyS+wjVChs=:5+XHTcDMApPKtYeamw9d23 /JTBpMS124pf8KM6/X/YQca15mUlrd5Qxj6xr1fp87wQ8bBxIQXmCOR4QCi1LNr4xHsGtqh3/ /DvzYGa8OTGaUOZsUZGn6ps97KYN9fJ9TEys33oBKg0MyxJyX9sQTR+grCiWZRnn/NVZjehCY HgKadFyuhVQMAaHUG8NVg28E955CPiTin/m/i0PXS/Ea4YOlgR8eE6u3rMDyCDajjlNRQVeBa G/Tb1TFjoGYT5oXrbqJEa250v9YcdjZhlQSQXtkY/3YPlILGT1vbw49SgWYKRpuitL/x7/fsT T3OfIR7gtSG2HDieIoDFO/5Ge1IjMvfRTZ9jGmDUOwOgqWMtyAv9gzFa9g+W/x8vuwIhZFL7j 5NBhq5/uDKB9kLf3d8RT8/tFM8NfSkMVWBDedXm3i8M2y62DPi5Pxwueou9buMCFFKG4ZnHwZ /gJ8BquUFfnxuaX31w/N/5vDqZrQorfspeLeeDw9TReSJGlrLDKgJw8VGy8+FJg7pqE7RCGyi DzmZZ9milATOqxvAYHZGloZL+sfMi0KxFrhmzpXyOEDk5ZoLLfk7K6E3Ik7ylDWw+7UT+IZJf SVCoxFKw91LLcBXVFdJscmSnVozCWgINwxf0GXEO2/LfDLrcAFyhR4YIn9+u8wchlBwSmFYa7 u9hcrNNlXXnPWeV4isaEAoFEleONTNAHZ/eexwKbzMWvJOqNcGDaEHQBp6/kIkVR7KfZLiGy0 43u798sJy7vkKoYnBPRC/0FGUy5kEIj/PZ/oH45g6EsOaOGrYapDsD6eLdNIyaOz6gTdZABUv ADeHZTK Subject: Re: [PHP-DEV] [RFC] Optional typehint check for parameters From: cmbecker69@gmx.de ("Christoph M. Becker") On 16.07.2018 at 13:15, Yasuo Ohgaki wrote: > What you need is DbC. > It's more flexible and complete. It satisfies all of your needs and more. > An issue is that DbC is not static code analysis tool friendly. > > https://wiki.php.net/rfc/introduce_design_by_contract > https://wiki.php.net/rfc/dbc > https://wiki.php.net/rfc/dbc2 All three RFCs are marked as being “Under Discussion”, which doesn't appear to be the case. -- Christoph M. Becker