Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:105109
Return-Path: <robehickman@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 29916 invoked from network); 5 Apr 2019 16:10:04 -0000
Received: from unknown (HELO mail-oi1-f178.google.com) (209.85.167.178)
  by pb1.pair.com with SMTP; 5 Apr 2019 16:10:04 -0000
Received: by mail-oi1-f178.google.com with SMTP id e5so4818664oii.0
        for <internals@lists.php.net>; Fri, 05 Apr 2019 06:05:58 -0700 (PDT)
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=zh6xwBHgzk7R7vEAZd0Z5uwxRvvl2Q4cBceSvlW0+qQ=;
        b=fvuvXkZ6RhDXjL0KsBI8KSSrVfV3d3uDAv6XDxonhv0RWa+H+oXBaOzEz+x8cuNG49
         YvshCSsdKJY0G2c2QUfOLb7ZHV583fidJ+UId0byJjxGidyi4OaDJ7cpKPK/Vq2pw0vH
         gwwVfXFsHE76VJxllLvkKhTn7J0kdfWPJf76m/Edab5mVvxoxpNlVMzzCHNL9QUGpBE4
         m8n0DxP0VXvX9sMEhRajfO66LxKTaQs2vWHgqdbsj7iw4aaz5IKXbFQmCgwakEN0KqvL
         9d3abWJE+Pq81bSaS3A5/vAK0Z9UZdl/U50r9ItUI7LHxNrvHyd7fzsKbp66Lo9VVpMg
         4kUw==
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=zh6xwBHgzk7R7vEAZd0Z5uwxRvvl2Q4cBceSvlW0+qQ=;
        b=azXJasAhLR9VF5lyoYuVg98BdGsPiSUHT5z6ef/wVaqU4uF5IlAK4zNeJfuzBinMdW
         ebeLh95yydDnCOdYAtfF7Fttj9e6PUHBdDeHxv03EhI79sb7bR9T5azTHm0LcuR/y2Wq
         80LDNCy8/YOjuwAyK7Hvm+O/1DYnaAjoPhdGWgDBXWTIOWv/jDYivI6d/e1617rA3m+x
         v5ot2QJZTJ0ADtaKB98U199ffpcdP8z7WaOC6l9f3Sts0p2HIqvQABAov5XI+rLL1bkZ
         8kKXccZ5SG0ZnXkeb2o+RMYPWzH0rilXiMOMR88XUUA5Ak2VfkxzSAhu5UfxSOXUouSh
         iH4w==
X-Gm-Message-State: APjAAAV2tKXUKFPhJQoez5Pve0hK+5UzTHe8mCAV6WGbyo8HYGUV5I78
	Pr82w9ttJmThltPAzbjJunHX6FwmpFNiG8SzxwM=
X-Google-Smtp-Source: APXvYqyxCAqKDU3jfGtTcGR1bwDApnGv32+BIOcO/13EBj/Sf3S1vOJRGBY5ea876gJYnVPeEXetwT9ChmJr00XmjZw=
X-Received: by 2002:aca:3fc5:: with SMTP id m188mr6904163oia.139.1554469557699;
 Fri, 05 Apr 2019 06:05:57 -0700 (PDT)
MIME-Version: 1.0
References: <CAHN63oMjO-7cdnF55Mrj-MxVrq9mvm5=c2M681CuXLkE_Hez_A@mail.gmail.com>
 <CAESVnVpcTTC-77EjLgH-9jwbPgzaR2x_JV+D00SMffWKgU=bkw@mail.gmail.com>
 <CAHN63oP4p-VdK=J3L3vi0GygHawRq5KkCHJEF0tFoQBtSezGiQ@mail.gmail.com>
 <CALKiJKrbcv42cyWYqLfizzNVGc55Z4qEW+X6gfxzoVENSrnZuw@mail.gmail.com>
 <CAHN63oOfR3DD9b_xHLPUh20=jJFQTJH+Qce298k-4vm6X4bdKg@mail.gmail.com>
 <65AF9E1E-DFA6-47AE-952B-9ABEBD9B6038@gmail.com> <CAHN63oMqOgCgh6voyL0sjXQJEnMKQ=NJ+MXQuU0355EG8Apffw@mail.gmail.com>
 <CAHN63oMz1YM5c0V7QLGOJ=1LKEasMuHVxwsdbrxC==5Up6=mMQ@mail.gmail.com>
 <284d1f9f-03d3-1488-77dd-82e18edf9f4c@gmail.com> <CAHN63oOqx9AxU=ofAQceKEQoJqYTuku1AWGa-sw=BLMTMP0Vjw@mail.gmail.com>
 <db94829a-3ffb-998b-08cd-67eb36ea4cc2@gmail.com> <CAFPFaMK5hs3y5VziAnqDjM1sz3-RLvQUgUj0gQYuxshbd_rFGA@mail.gmail.com>
 <CAHN63oOZ6x6PEOJo=u9gVR-5f+87sD7jpwKnw7kKiohf3LSDLg@mail.gmail.com>
 <3144F5D1-1F18-4C42-9B3E-AF1B1E598E47@koalephant.com> <CAESVnVqC+WkyCGp+EOUP_FVpbR2avoyVoRTXBLh5B0TiogykBA@mail.gmail.com>
 <917cb7bc-4abc-4bae-1a5a-b2ba1777fa55@gmail.com> <CAMuFt-5-U0KLnJEOT99-tVWntpT66RjWMWyc_E8b6i3XE42wfg@mail.gmail.com>
 <CALKiJKqF8vgOik8aRc8_dm=Y+o58NqA3PoYvpf7XZcXs55831A@mail.gmail.com>
 <CAMuFt-7mYgBG02SegZTMm2j728DcojSiaG0JRAJVE23ioU0Ryg@mail.gmail.com>
 <CALKiJKoHX8GHE_rKP7hf0Z=VWu3q54Kn_=aoe3aZ1Cq21T=ZpQ@mail.gmail.com>
 <CAMuFt-4tN7aqoD0eGojnffZDfMAL1LQhBMBLNEjFBt4MsLv8KQ@mail.gmail.com> <CALKiJKrDJ3aEq-1ywb9Z3tkPAtHnABrMCKuziRxzBGNq2Kx2pQ@mail.gmail.com>
In-Reply-To: <CALKiJKrDJ3aEq-1ywb9Z3tkPAtHnABrMCKuziRxzBGNq2Kx2pQ@mail.gmail.com>
Date: Fri, 5 Apr 2019 14:05:45 +0100
Message-ID: <CAMuFt-5b1BsQu9ft85gfEUAPBQVHFPy7ZqbFk-_z9=Pj7zpQdQ@mail.gmail.com>
To: Rowan Collins <rowan.collins@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] Question about adding !function_identifier
From: robehickman@gmail.com (Robert Hickman)

On Fri, 5 Apr 2019 at 13:15, Rowan Collins <rowan.collins@gmail.com> wrote:
>
> On Fri, 5 Apr 2019 at 12:42, Robert Hickman <robehickman@gmail.com> wrote:
>>
>> In the first case:
>>
>> function foo(callable $bar): int { return $bar(); }
>>
>> I think the value of $bar would have to fall into a set of values
>> known to the programmer, or at least known at some level.
>
>
>
> I think you're misunderstanding the problem: it's not that the *programmer* doesn't know the types, it's that the *analysis tool* doesn't know them, because the programmer hasn't told it, and currently has no way to tell it.
>

If the static analyser was programmable, it would be possible to
provide it such information, within the scope of a single code base.