Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:120131
Feedback-ID: i8414410d:Fastmail
User-Agent: Cyrus-JMAP/3.9.0-alpha0-374-g72c94f7a42-fm-20230417.001-g72c94f7a
Mime-Version: 1.0
Message-ID: <7701099a-cfae-488d-bc21-3553f8798fbd@app.fastmail.com>
In-Reply-To: 
 <CABdc3WrjXM4wQ_oxSqspb=6-w7_oc82Hj762HV3etLu-vGfvFQ@mail.gmail.com>
References: <6b5de716-d769-4f0b-b3e6-5a5a211f035a@app.fastmail.com>
 <CAOWwgpn8hZgo2uXLvDK0grM0oBEWMXNFuwD5PNyYxicG4Qs6fw@mail.gmail.com>
 <CABdc3WrjXM4wQ_oxSqspb=6-w7_oc82Hj762HV3etLu-vGfvFQ@mail.gmail.com>
Date: Tue, 25 Apr 2023 21:39:41 +0000
To: "php internals" <internals@lists.php.net>
Content-Type: text/plain;charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [Discussion] Callable types via Interfaces
From: larry@garfieldtech.com ("Larry Garfield")

On Tue, Apr 25, 2023, at 6:20 PM, Micha=C5=82 Marcin Brzuchalski wrote:

> Personally I don't like this way of shaping callable types. Given exam=
ples
> are really confusing me. Call of a castTo() with argument representing=
 an
> interface with a method is confusing as the method magically appears o=
n a
> closure without explicit binding to it! What if an interface has more =
than
> one method? What if I wanna choose which one?

Multi-method interfaces would be explicitly disallowed and trigger an Er=
ror.  If providing only a single "method", then there's no logical way f=
or it to satisfy a multi-method interface.  But there are ample single-m=
ethod interfaces around PHPlandia.  And a single-method interface has no=
 ambiguity about which method the closure corresponds to.

--Larry Garfield