Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:104308
Return-Path: <ocramius@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 53026 invoked from network); 8 Feb 2019 14:56:19 -0000
Received: from unknown (HELO mail-it1-f169.google.com) (209.85.166.169)
  by pb1.pair.com with SMTP; 8 Feb 2019 14:56:19 -0000
Received: by mail-it1-f169.google.com with SMTP id g85so7998452ita.3
        for <internals@lists.php.net>; Fri, 08 Feb 2019 03:38:11 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:references:in-reply-to:from:date:message-id:subject:to
         :cc;
        bh=8qRdrDNAjUhC6gXz8zlxO7CYrnPM65Rlp6guEYdK2W4=;
        b=Vc4EcAxLKIyDp9UNdVIW+CmKY7lfztZBolUT2Aq1UNRepLAMoW5nUdI7Dj4KBBA2qI
         c2f72jrepL5TxveGQmOkv+SU9s90d2y5ZKofLmizD92tHCY0yW0uhJiEzy3rYRzC1Ue6
         8CSubdMBKDhWBNNPR8kICzf3VwCn5KLmWPf/gITsjfar7ItPOyZcPgxEc92doVZanwWP
         J2QQHML8sxlto0tbIOBUiPoF7DPDgtyFWFInImrfosTCUnatIyRgpZesmRkT7V88Ccka
         fXbiYntJ9SJLHmhgQhTyEVbBspTQioNjpuvX+Vz04d8yGldMEb4YAOp/Rnt575Kbf9du
         9paA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:references:in-reply-to:from:date
         :message-id:subject:to:cc;
        bh=8qRdrDNAjUhC6gXz8zlxO7CYrnPM65Rlp6guEYdK2W4=;
        b=EdCDUkHPoy5DKra3yUpHMohhDgl/9E0Jrua2F4o1aoTjUhWZicjnwxf+pHS/1T/4mT
         CvtcFk4iAVtyrHkKNSosbFE+hQwloRqtvs6xdX70HGAfLNcEkzIHPrF/Ld05IZjnVVeM
         nYVyNCx+grwJAAqtkgCNG1pUvwAL2KiiU3dCrSts6cGYTvCBctwGhlozK5mkIumEIs1u
         OIAAHuBOD/LpoO9AWFDIo7nsdpPLUC4J8qQFwOsfneDItV9SI+PzCz7lzwk0XTs6Nfjq
         ElrWW/ygnUBlP+n4zPJIwhNJKjnbcO8+FvQvofyPlOczYjK7gDUWWLLlpsf4TvGaNCF2
         Q9Jg==
X-Gm-Message-State: AHQUAuY/VT7x8ODwAf7K5GBo+GfL/RPvP6QxZZCzeemoCKpWjO97S+gX
	Vas9yiUeeuY9GZZVdm7nWATwi7hBBFTBt8aBHKWvEP5T
X-Google-Smtp-Source: AHgI3IZc1uHrDB2rqs6qW9hcgOVgUPghIBMH4bSKiFXrCYDnQH2R/3XAjEM5/aS4A/ntUOXYm4tUEs7sTB5oMyGCbAs=
X-Received: by 2002:a24:750f:: with SMTP id y15mr636528itc.177.1549625890648;
 Fri, 08 Feb 2019 03:38:10 -0800 (PST)
MIME-Version: 1.0
References: <CADqTB_gteykpHroN8MFLuMEFsh+oNmZ3RhsGvBx_yY-5zGvnJg@mail.gmail.com>
 <c47773b6-55de-e4f2-f34e-f155062272d4@korulczyk.pl>
In-Reply-To: <c47773b6-55de-e4f2-f34e-f155062272d4@korulczyk.pl>
Date: Fri, 8 Feb 2019 12:37:58 +0100
Message-ID: <CADyq6sLkDrS-D7wbOsyKzo9s4jw1neXO9bp73X6tY=DYJ5JBEw@mail.gmail.com>
To: Robert Korulczyk <robert@korulczyk.pl>
Cc: Rasmus Schultz <rasmus@mindplay.dk>, PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000bf3b5205816064d8"
Subject: Re: [PHP-DEV] Mixed type-hint
From: ocramius@gmail.com (Marco Pivetta)

--000000000000bf3b5205816064d8
Content-Type: text/plain; charset="UTF-8"

Mixed includes null by definition.

On Fri, 8 Feb 2019, 12:21 Robert Korulczyk <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
>
>

--000000000000bf3b5205816064d8--