Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:104309
Return-Path: <robert@korulczyk.pl>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 56149 invoked from network); 8 Feb 2019 15:03:15 -0000
Received: from unknown (HELO cache4.mydevil.net) (213.189.55.195)
  by pb1.pair.com with SMTP; 8 Feb 2019 15:03:15 -0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
	d=korulczyk.pl; s=devil; h=Content-Transfer-Encoding:Content-Type:In-Reply-To
	:MIME-Version:Date:Message-ID:From:References:Cc:To:Subject:Sender:Reply-To:
	Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
	Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
	List-Subscribe:List-Post:List-Owner:List-Archive;
	bh=Y9AdvHLboiz30/jIAkq2l56JgodZf8YhKQZP6YahbDo=; b=deWIh6pbkkh/s2aszoQfhmE/ey
	WII7jXqo8Y12195nUxECMhLT0njGvnvratlocBdwH2LpTni7SxeHfK/DWHhhbogp7JFRzDrATJ+8S
	J7rQgdDYdTLojprIuliV4XfygnkqTBVQbD0hYGsXAVn65wYemlgOVGvI9za5c5cWYb7Q=;
To: Marco Pivetta <ocramius@gmail.com>
Cc: Rasmus Schultz <rasmus@mindplay.dk>,
 PHP Internals List <internals@lists.php.net>
References: <CADqTB_gteykpHroN8MFLuMEFsh+oNmZ3RhsGvBx_yY-5zGvnJg@mail.gmail.com>
 <c47773b6-55de-e4f2-f34e-f155062272d4@korulczyk.pl>
 <CADyq6sLkDrS-D7wbOsyKzo9s4jw1neXO9bp73X6tY=DYJ5JBEw@mail.gmail.com>
Message-ID: <695e24fe-386f-c11a-4bd3-81129cb9ffe2@korulczyk.pl>
Date: Fri, 8 Feb 2019 12:45:04 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.4.0
MIME-Version: 1.0
In-Reply-To: <CADyq6sLkDrS-D7wbOsyKzo9s4jw1neXO9bp73X6tY=DYJ5JBEw@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 8bit
X-AV-Check: Passed
X-System-Sender: robert@korulczyk.pl
Subject: Re: [PHP-DEV] Mixed type-hint
From: robert@korulczyk.pl (Robert Korulczyk)

What definition?

Regards,
Robert Korulczyk

W dniu 08.02.2019 o 12:37, Marco Pivetta pisze:
> Mixed includes null by definition.
> 
> On Fri, 8 Feb 2019, 12:21 Robert Korulczyk <robert@korulczyk.pl <mailto:robert@korulczyk.pl> wrote:
> 
>     > Without this, the mixed type-hint is basically meaningless noise, is it
>     > not? About as effective is a doc-block?
> 
>     This mixed type seems to be meaningless by design since its main goal is to work the same as if it was no type-hint at all...
> 
>     Another thing is that including null as part of mixed is not very pragmatic - mixed could be used to disallow null, so it will actually work for type
>     check.
> 
> 
> 
>     Regards,
>     Robert Korulczyk
> 
>     -- 
>     PHP Internals - PHP Runtime Development Mailing List
>     To unsubscribe, visit: http://www.php.net/unsub.php
>