Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:97091 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 60757 invoked from network); 20 Nov 2016 16:46:51 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 20 Nov 2016 16:46:51 -0000 Authentication-Results: pb1.pair.com header.from=rowan.collins@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=rowan.collins@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.49 as permitted sender) X-PHP-List-Original-Sender: rowan.collins@gmail.com X-Host-Fingerprint: 74.125.82.49 mail-wm0-f49.google.com Received: from [74.125.82.49] ([74.125.82.49:36558] helo=mail-wm0-f49.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 99/50-58689-A73D1385 for ; Sun, 20 Nov 2016 11:46:51 -0500 Received: by mail-wm0-f49.google.com with SMTP id g23so110441768wme.1 for ; Sun, 20 Nov 2016 08:46:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=fkxXEhChq6wBD159Yoq1yCmjoze7fFmvSDhKmw5CNbA=; b=t1nm3LY6h56ZRAogWng6R7a1lzBCN/4daLb1D6tNNEnrxr23OfVquK34RmuMXYI/L/ ZRwd86VhAdP/hDhGgLdsZRYzJiaPtV33NtPR6mmJJJ1XKi8RzcKVW0TRShFAMNAqD93c S6l7MHmeaopbarpQhy44s3dBsNS3qJDVvIIKlzpASGN9BvV6Cd7hD6uJu/NBIIE95/oV CIXHlYIz0QhNSEmWpAh/fHuK9jvpeDDUjDAlbYeUfoupjlBCFhR0XG/4c2O+vkvRxa+8 L88eOMRA2bSbjeI04XHvohGItKONtjG8FJewJB3X2MJ2q5OsxewZ1w+dPhVOyvToocWB cJ/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=fkxXEhChq6wBD159Yoq1yCmjoze7fFmvSDhKmw5CNbA=; b=GGvKp/evfVk3UN6paB3DmhsvhWf6f/mbbb0k8Zs0Ny+ZFv0/DmVltdLbjZu4opFyB9 2GdgyORjP/o4QzDBqYvnIoPQV+nhiyOEercLX8e5Ldfy6U86aDdj5elqsaVkuueE0BMv 4+l05GLg/JZqRb7XQZtLnqrdA8yq3O2KXLz+Y11FlfeicQzgyaXy9ujmXaf9gAdbRT+g VG0BA5GOsB2lrhTYzE3PXoh6QgUxSUm4ET8IU2+E61eXAG+0TcXd1AacD6nS6UmtN+TZ H0LLEUFgcUFqBWMk3yRYqTTwSbUyoSihDoEN674hxaOXac4v+LqVJAkgXtRUnYLqbnKA RTDw== X-Gm-Message-State: AKaTC03aN3nRs7O5vtIyMSmZbBSolrXVafwbUwt5bjP/l15BqXmhQkKJxKgmfpSD8rNEnw== X-Received: by 10.28.22.193 with SMTP id 184mr9794018wmw.100.1479660407664; Sun, 20 Nov 2016 08:46:47 -0800 (PST) Received: from [192.168.1.5] ([2.27.88.157]) by smtp.googlemail.com with ESMTPSA id 14sm14736475wmk.1.2016.11.20.08.46.46 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 20 Nov 2016 08:46:46 -0800 (PST) To: internals@lists.php.net References: <576C4FE2.3090508@pascal-martin.fr> <1479566955.2544908.793053689.334FD0F5@webmail.messagingengine.com> Message-ID: Date: Sun, 20 Nov 2016 16:46:44 +0000 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] [RFC][Vote] Typed Properties From: rowan.collins@gmail.com (Rowan Collins) On 20/11/2016 16:24, Rasmus Schultz wrote: > A consistent, complete type-system is not a "trend". [...] > Anyways, glad to hear Bob Weinland has been working on typed references and > the RFC is not dead :-) Just to reiterate, I don't agree that these two sentiments go together: a consistent type system requires a lot more than adding type keywords in a few more bits of syntax, then coming up with a meaning for that syntax. The conversation we need to have is not "how should typed properties work", but "what kind of type constraints do we want, and where should they be checked". Regards, -- Rowan Collins [IMSoP]