Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:104310 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 58228 invoked from network); 8 Feb 2019 15:05:49 -0000 Received: from unknown (HELO mail-it1-f178.google.com) (209.85.166.178) by pb1.pair.com with SMTP; 8 Feb 2019 15:05:49 -0000 Received: by mail-it1-f178.google.com with SMTP id m62so8005911ith.5 for ; Fri, 08 Feb 2019 03:47:41 -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=J8Axn5WCMFSv0dyTMSCE4jSgn1u7gtbovL7w8yG42gU=; b=DbM4EYGmMQBv7RWzzIT40Ark2zUH6wpV+GGPzXLrtSO+LWuU/XFEuUoKPpana8lLmn jI+vHjj3dvmheaVdRFXcRzOKaG9sGPMkbHV5MAnCUd7OPhLgMk3njcf3d1rzkod0HZ1a 0uNbb+yWZLCWzWpAnj4fcbWgTDXXqKVWN+cCYWL9uD5AVvJxaQqkBGLCZJ1hzg02lx0c QtcxxfnDm8ijzs800sDr+yW7msnDwXhqhQsO87bm4YVdUJm7eDsQIIaTZPBUf+0Xc8B4 N8zziNziezQPALZDIEd1yKcdQg64QodIjApXZt1cw1yikF/XydqbtdJtB0SeM38EAulR Fjeg== 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=J8Axn5WCMFSv0dyTMSCE4jSgn1u7gtbovL7w8yG42gU=; b=AppkI6ozsLU7M0Kvt/OUoj1h5FMDDYzx2JG5g5IIJvKwmdacfKfuvT+D0rabZ72NkN BLo6pZuhwSrjTNhZ10ktgUbFkBh2ky3MFTwuzsX8pXzAhrgZiMX36FNNpSlYUAlSubve JtkDiB17qdIZCiOqFNJDqt7C94K8aW2BgRHQ63kRezuPsrFfF9p173lgXn1uH+dk2jQh BF7orhxw/AtrrAK3QVT52wVOgg/dL/UDYklVT7DJfhoF6x5EpmaM5kmqkO8ctDqxMZCA S3i4hoHTISeF6iKQ6TM/d2jalLudKKkkYP09DISrD3OdKchwpbIUrHuVzi3+eX3S3AXP 5fgg== X-Gm-Message-State: AHQUAuYcOyz+MdYOVU3sCuM1VzLZ81QqhmLt7ndPKrbUUS5OekGceSLd /xNE2QyyTmkTwDlxv2QMtUUD+zR9m7y5L1ROkGBS6q8B X-Google-Smtp-Source: AHgI3IakEe8CBcAyKgIVE2CCfgKBmzmsw7xNPPN1Vxwv4Ql7VLuyBKInvLO80btDTe0fXXtHEBm5MPxVUZ+V1qF6eX0= X-Received: by 2002:a5e:9707:: with SMTP id w7mr12660737ioj.49.1549626460986; Fri, 08 Feb 2019 03:47:40 -0800 (PST) MIME-Version: 1.0 References: <695e24fe-386f-c11a-4bd3-81129cb9ffe2@korulczyk.pl> In-Reply-To: <695e24fe-386f-c11a-4bd3-81129cb9ffe2@korulczyk.pl> Date: Fri, 8 Feb 2019 12:47:29 +0100 Message-ID: To: Robert Korulczyk Cc: Rasmus Schultz , PHP Internals List Content-Type: multipart/alternative; boundary="000000000000bde0e10581608638" Subject: Re: [PHP-DEV] Mixed type-hint From: ocramius@gmail.com (Marco Pivetta) --000000000000bde0e10581608638 Content-Type: text/plain; charset="UTF-8" `mixed` is the "top" type, which means that it contains anything at all. See https://en.wikipedia.org/wiki/Top_type On Fri, 8 Feb 2019, 12:45 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> 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 > > > --000000000000bde0e10581608638--