Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:98497 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 21081 invoked from network); 12 Mar 2017 08:58:17 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 12 Mar 2017 08:58:17 -0000 Authentication-Results: pb1.pair.com header.from=theanomaly.is@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=theanomaly.is@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.54 as permitted sender) X-PHP-List-Original-Sender: theanomaly.is@gmail.com X-Host-Fingerprint: 74.125.82.54 mail-wm0-f54.google.com Received: from [74.125.82.54] ([74.125.82.54:35674] helo=mail-wm0-f54.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 1E/58-38004-9AD05C85 for ; Sun, 12 Mar 2017 03:58:17 -0500 Received: by mail-wm0-f54.google.com with SMTP id v186so21331872wmd.0 for ; Sun, 12 Mar 2017 00:58:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=cuXOWyI39WlVxWWHggpyGtsPeY4iZYyIEWlFvaheOpA=; b=ddF70/kPBz/TnosfniYPAgsZHkAjjKUpeiQSyvZJC5gqOSEj5fOu4EMTiR9Rd1xJfu GvUCZS17/DKKzfDhYcxZJkEWMGMenOur3GCEtf2Z+XIGVDBnVYI7qiLJBm7iNDBZM10a vxF++Rg9/vaBHDTZ/PyYPqKbC9JYnYOlkKDoRogE4rXXHSZMn+4A0AUKp8K8EEAWCKIb abYIm/Sws9mAxBuVMt44dITB9knQ34Xq1hv2nqOV90x/GgGPnJOzQfUX07464vbTTdNk /BZkPMYF4vTvXQ7JPoH8lzKLSK/F0qJ0XN2TsZq+GhW8AfjJumdEKaNJxJDDLpEIqkZj tOAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=cuXOWyI39WlVxWWHggpyGtsPeY4iZYyIEWlFvaheOpA=; b=qPE0CfzxEhOQUJ9G4hQS3gwqE8zTN0244r/lAc5ezyvfxb1wWTTmkJoSU+6OBI8BO/ l1RvZLP74MSm/lITRw6wwD5myHeIvlqaUDWndjOVQCe6Mij9kWigGXUN91cEOre6B9ww dW0Qq5J0+8ylaRDhp9xCmCNPcfHnMEqjgelR85XWU9zmehr6QwyHH4Hzyh/f36phmnMy td9gkpK0HQqSBIEITwnzhvw8q/CrlqxXYgdgljE58JRTyzkq3xvrEEZE4iGOdXl5IirF VMgAsb3EgrQRBnYjuvYPMxaEfvv3GluCpFkOdfRceKVoT7+g89ojqPyeL0DaeVPjyzqz E1Wg== X-Gm-Message-State: AFeK/H1dCTTHwzmuy40R8LAZne8RBRCUQt4yF8NVfSHniSToAUsWDKWQ/Pm/kz7/+7grCQhH01ZxUSHoiLwJmQ== X-Received: by 10.28.216.208 with SMTP id p199mr5479146wmg.44.1489309094037; Sun, 12 Mar 2017 00:58:14 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.143.35 with HTTP; Sun, 12 Mar 2017 00:58:13 -0800 (PST) In-Reply-To: References: Date: Sun, 12 Mar 2017 04:58:13 -0400 Message-ID: To: Michael Vostrikov Cc: PHP Internals Content-Type: multipart/alternative; boundary=001a114733c082d57e054a84cbd1 Subject: Re: [PHP-DEV] Type variants From: theanomaly.is@gmail.com (Sherif Ramadan) --001a114733c082d57e054a84cbd1 Content-Type: text/plain; charset=UTF-8 If the problem you're trying to solve pertains to object state that I have no idea how this proposal hopes to achieve that. You can readily control object state in PHP without the need for declarative types (e.g. magic getters/setters). Not seeing how this proposal improves or even achieves such a thing. I think you're trying desperately to find a problem that is fitting of the proposal whereas all real-world problems that exist under this domain are already solved problems. On Sun, Mar 12, 2017 at 4:17 AM, Michael Vostrikov < michael.vostrikov@gmail.com> wrote: > 2017-03-12 13:03 GMT+05:00 Sherif Ramadan : > > how it pertains to this discussion > > > > This is example of type matching from my first message. > > I'm not sure what that has to do with inheritance > > > > Yes, this is not related with inheritance. But order can be ready for > checkout or can not. This is a variant of valid object state. If we could > have a tool to describe that and check later, it would be useful. > --001a114733c082d57e054a84cbd1--