Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92334
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.194 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
In-Reply-To: <20.53.29891.17401175@pb1.pair.com>
References: <CAFMT4Nq+VdfYS+eKbdbmPr92-X1QYCE2eOtPGo6Zu1qgAOGkhA@mail.gmail.com>
	<CAFMT4Nq=QPN9fOMtKa7GDDkf-AECAXjN9WRtn84nUjtKK-zD7w@mail.gmail.com>
	<570E99AC.3090804@fleshgrinder.com>
	<CAFMT4Nq7JV=iv=_AKjez+B8JxZ+rucD4LkEJgHuUg15o7r2hMg@mail.gmail.com>
	<570EA5EB.8090501@fleshgrinder.com>
	<570EAB0D.6080706@gmail.com>
	<570EB67E.8010908@garfieldtech.com>
	<5B147E88-CC0A-4CBC-A49D-C7FE3BF557C0@zend.com>
	<6F.C3.12455.94C5F075@pb1.pair.com>
	<20160414094440.GF19347@phcomp.co.uk>
	<CAKSD0w6Gd7uN2L=d3VfnK-Mj+cwjpcGtCpjfD6iq+VMmJVxkhA@mail.gmail.com>
	<570FD94F.90703@fleshgrinder.com>
	<570FE8A9.4020809@gmail.com>
	<20.53.29891.17401175@pb1.pair.com>
Date: Fri, 15 Apr 2016 09:18:40 -0600
Message-ID: <CAFMT4NrH9ukLOv=cEdaN5671i1r9iTNUms1Cu9wj5XkQAbY6Mw@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Re: Improving PHP's type system
From: levim@php.net (Levi Morrison)

> This is something that particularly concerns me about union types, in that
> they reduce type safety.

This is incorrect. Anyone using a union type now simply uses PHP's
dynamic type system. Going from no enforced type to restricting it to
N types does not in any circumstance reduce type safety.