Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:120095 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 62946 invoked from network); 21 Apr 2023 03:57:32 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 21 Apr 2023 03:57:32 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 711581804AA for ; Thu, 20 Apr 2023 20:57:31 -0700 (PDT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-0.6 required=5.0 tests=BAYES_00,BODY_8BITS, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM, HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE, SPF_PASS,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.2 X-Spam-ASN: AS15169 209.85.128.0/17 X-Spam-Virus: No X-Envelope-From: Received: from mail-vk1-f177.google.com (mail-vk1-f177.google.com [209.85.221.177]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Thu, 20 Apr 2023 20:57:31 -0700 (PDT) Received: by mail-vk1-f177.google.com with SMTP id 71dfb90a1353d-443e9a69044so43768e0c.0 for ; Thu, 20 Apr 2023 20:57:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1682049450; x=1684641450; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=6PXI26E1PtQYHBEDzpVeXH6LqBORlfuhxzCbMf6tf1Q=; b=dzRpkeLHw9JphL7YZLME95B37V3ByJ8JVs5XCa+qXML6/6s+6Hnwm17cMK087pwuKO hmgyoT0uzODaPr9WDxlkO+DYW7xbPWYVxAHy5v99tC7tizVKUgk0x23PpKFzxEjAgE8H 1OThYAtSxPWyQ3VHsL6KT+BnUfaRyYRy8lmPvqksbDLkTWG0YTqaQBmKAR0Br71BzCbo HMbl9DDRAVhKZdCTtaW0EEKcdia3iMXbgkv2RsQRmX04VmdX6HYSWQyunUoWc0YB+8wp CEiPPTuZaEkdBMC/NLKy9ljdIIpmd+guTFXAATc6PTo6D0J/rjNJPWz3GIx7D51OFdbk b1xQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1682049450; x=1684641450; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=6PXI26E1PtQYHBEDzpVeXH6LqBORlfuhxzCbMf6tf1Q=; b=a53egl7rNy/3uxhakxS/m2xK/vlVhyBtv9tDjJJAFFmJauh4RzRnozNvwEUrn+xzMk 3CLRgfYpstTwYpgJjhKvl5eeyqtD1Bt1BQel2g4M1BCOfp8XTuyfuKK+OTOswdk+5vtO xUt3hnSoPbq4dt2AGRkH473Fd4Ypd3nAiVG29plXdXPw7+oLgX6JKJeSlGBB9Ad3IIx/ FBCSjhD6KcIYblPWfRupgezqblWiRocdlU9EpniC3AokC+bJtaKARmfpAV/cCMRL5ETA MYfpliqrXWsPyBrEQ3UHekjFNksfiu6I6/HtxozOcX0ms/5A2dgp3FVnAZsRiL3aPK4w zPXA== X-Gm-Message-State: AAQBX9dBDu3T52d5JgdwG1jvhP50QU1JrGOSXnS/u/kkP6vj1EB+jUMi Ubn0MXGX26xalhwb3/ZiZIEEWOXyhYYUsNJVOfw= X-Google-Smtp-Source: AKy350ZzR3+VkjHNXJOXZL/28Uzllp4GYvsehGdek57pNPUznksR4itIOkSH464diK9OXTgLI7DYoM2+g3wOfDQX59M= X-Received: by 2002:a05:6102:38d0:b0:42c:a2db:ace8 with SMTP id k16-20020a05610238d000b0042ca2dbace8mr2029522vst.0.1682049450277; Thu, 20 Apr 2023 20:57:30 -0700 (PDT) MIME-Version: 1.0 References: <6b5de716-d769-4f0b-b3e6-5a5a211f035a@app.fastmail.com> In-Reply-To: Date: Fri, 21 Apr 2023 00:56:54 -0300 Message-ID: To: Levi Morrison Cc: Larry Garfield , php internals Content-Type: multipart/alternative; boundary="000000000000fa7db405f9d0a7a1" Subject: Re: [PHP-DEV] [Discussion] Callable types via Interfaces From: deleugyn@gmail.com (Deleu) --000000000000fa7db405f9d0a7a1 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Thu, Apr 20, 2023 at 8:23=E2=80=AFPM Levi Morrison via internals < internals@lists.php.net> wrote: > I'm going to stop here. Two big things: > > 1. I think reducing verbosity can be left for the future. We don't > have to solve that right now. > What happens if I pass a short-closure? > > takeTwo(fn ($x, $y) =3D> $x + $y); > > I would be annoyed if I had to write the type info, but particularly > the return type. > Sorry for the unhelpful email, but does anybody else see the irony here? It's just too funny to not be mentioned =F0=9F=98=82=F0=9F=98=82=F0=9F=98= =82=F0=9F=98=82 --=20 Marco Deleu --000000000000fa7db405f9d0a7a1--