Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:110963
Date: Sun, 12 Jul 2020 13:19:08 +0100
User-Agent: K-9 Mail for Android
In-Reply-To: <173428d5cae.fd7702bf74344.4165657030995153344@manuelcanga.dev>
References: <CAF+90c_DPYqzOH1TU2mrG7cjh87RNXEzMx3hAAeDRfbTPpGVvw@mail.gmail.com> <CADyq6sL16QTzCe5=60oVDfLkAd8s_udBkKQPbc6_8MtRW_+rYw@mail.gmail.com> <CAEPJdukyHNneTimTriXPSqhvgCqz8Ujvpferv3NSfu+9Xa46cw@mail.gmail.com> <173428d5cae.fd7702bf74344.4165657030995153344@manuelcanga.dev>
MIME-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
To: internals@lists.php.net
Message-ID: <156CE5DB-BD37-4EA3-A1B3-5E88DA5E73BA@gmail.com>
Subject: Re: [PHP-DEV] [VOTE] Named arguments
From: rowan.collins@gmail.com (Rowan Tommins)

On 12 July 2020 11:24:50 BST, Manuel Canga <php@manuelcanga=2Edev> wrote:
>4=2E Other option is creating a  new function( not yet available in PHP )
>like:
>
>```
>array_check_scheme( array $array, array $scheme,  bool $forced =3D false=
=20
>): bool
>```


The problem with this, whether built in or not, is that you have to expres=
s everything with strings rather than keywords=2E That means, for instance,=
 that invalid values in the definitions themselves will only error at run-t=
ime=2E The definitions also tend to get verbose pretty quickly=2E

To make it concise and checked at compile-time, you need it to be a constr=
uct that pairs identifiers to types without first representing them as stri=
ngs, e=2Eg=2E to write `?string $foo =3D 'hello'` rather than `'foo' =3D> [=
'type'=3D>'string', 'nullable'=3D>true, 'default'=3D>'hello']`=2E It turns =
out we already have a construct for doing that: function signatures=2E

If the input is an actual array or object coming from "outside", you're pr=
obably going to want a more extensible validation system anyway=2E Those ar=
e really hard to design, and probably best left to userland where people ca=
n choose the tradeoffs they prefer=2E

Regards,

--=20
Rowan Tommins
[IMSoP]