Re: [PHP-DEV] Re: [8.1] Release Manager Voting Opens

2021-04-25 Thread Adiel Cristo via internals
Hi Sara, On Fri, Apr 23, 2021 at 10:48 AM Sara Golemon wrote: > On Mon, Apr 12, 2021 at 2:40 PM Sara Golemon wrote: > > > As stated last week, the vote for your PHP 8.1 Release Managers opens > > today. > > > > Now, if fact. > > > > Please take your newly reset authentication credentials over

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Mike Schinkel
I did not expect nor intend to go down the rabbit hole regarding this topic, so this will likely be my last reply on this thread. > On Apr 25, 2021, at 4:51 PM, David Gebler wrote: > > On Sun, Apr 25, 2021 at 8:52 PM Mike Schinkel wrote: > >>> On Apr 25, 2021, at 1:52 PM, David Gebler

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Larry Garfield
On Sun, Apr 25, 2021, at 3:51 PM, David Gebler wrote: > My argument is not that there aren't legitimate cases where you want to > indicate a class or interface as sealed, nor that developers should not be > empowered to make this indication. Right here is the core point. This is a subjective

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Saif Eddin Gmati
On Sun, 25 Apr 2021 22:56:26 +0100 Chase Peeler wrote > On Sun, Apr 25, 2021 at 11:36 AM Mike Schinkel wrote: > > > > > > > > On Apr 24, 2021, at 7:39 PM, David Gebler wrote: > > > > > > I don't love this idea, I'm not very fond of the final keyword, either; > > >

Re: [PHP-DEV] [RFC] Partial function application

2021-04-25 Thread Larry Garfield
On Sun, Apr 25, 2021, at 4:34 PM, Olle Härstedt wrote: > By the way, for pipe operators to be really useful, it should probably > be possible to combine with middleware. > > Olle Pipes are their own RFC I plan to bring back up after this one gets closer to a vote or passes, as they complement

Re: [PHP-DEV] [RFC] Partial function application

2021-04-25 Thread Larry Garfield
On Sun, Apr 25, 2021, at 4:34 PM, Levi Morrison via internals wrote: > On Sun, Apr 25, 2021 at 3:08 PM Max Semenik wrote: > > > > On Sun, Apr 25, 2021 at 10:26 PM Larry Garfield > > wrote: > > > > > https://wiki.php.net/rfc/partial_function_application > > > > > > Amazing, I've wanted this for

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Chase Peeler
On Sun, Apr 25, 2021 at 11:36 AM Mike Schinkel wrote: > > > > On Apr 24, 2021, at 7:39 PM, David Gebler wrote: > > > > I don't love this idea, I'm not very fond of the final keyword, either; > > I'll start by saying the final keyword caused me a tremendous amount of > heartache because it was

Re: [PHP-DEV] [RFC] Partial function application

2021-04-25 Thread Levi Morrison via internals
On Sun, Apr 25, 2021 at 3:08 PM Max Semenik wrote: > > On Sun, Apr 25, 2021 at 10:26 PM Larry Garfield > wrote: > > > https://wiki.php.net/rfc/partial_function_application > > > Amazing, I've wanted this for so long! Have you considered extending this > syntax to OOP, e.g. $obj->method(?) or

Re: [PHP-DEV] [RFC] Partial function application

2021-04-25 Thread Olle Härstedt
2021-04-25 21:07 GMT, Max Semenik : > On Sun, Apr 25, 2021 at 10:26 PM Larry Garfield > wrote: > >> https://wiki.php.net/rfc/partial_function_application > > > Amazing, I've wanted this for so long! Have you considered extending this > syntax to OOP, e.g. $obj->method(?) or

Re: [PHP-DEV] [RFC] Partial function application

2021-04-25 Thread Olle Härstedt
2021-04-25 21:07 GMT, Max Semenik : > On Sun, Apr 25, 2021 at 10:26 PM Larry Garfield > wrote: > >> https://wiki.php.net/rfc/partial_function_application > > > Amazing, I've wanted this for so long! Have you considered extending this > syntax to OOP, e.g. $obj->method(?) or

Re: [PHP-DEV] Method overload support

2021-04-25 Thread Matthew Brown
On Sun, 25 Apr 2021 at 16:12, David Rodrigues wrote: > I know that this discussion comes back from time to time, but now that PHP > is quite strong in relation to argument typing, I think it is worthwhile to > have a quick discussion about it. Maybe to PHP 9. > > One of the things I remember

Re: [PHP-DEV] [RFC] Partial function application

2021-04-25 Thread Max Semenik
On Sun, Apr 25, 2021 at 10:26 PM Larry Garfield wrote: > https://wiki.php.net/rfc/partial_function_application Amazing, I've wanted this for so long! Have you considered extending this syntax to OOP, e.g. $obj->method(?) or SomeClass::staticMethod(?)? On Sun, Apr 25, 2021 at 10:51 PM Olle

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread David Gebler
On Sun, Apr 25, 2021 at 8:52 PM Mike Schinkel wrote: > > On Apr 25, 2021, at 1:52 PM, David Gebler wrote: > > > > Still, all these problems are solved to the same degree if you add a > > #[Sealed] attribute to a class which has no functional impact. You have > > sufficiently indicated to any

[PHP-DEV] Method overload support

2021-04-25 Thread David Rodrigues
I know that this discussion comes back from time to time, but now that PHP is quite strong in relation to argument typing, I think it is worthwhile to have a quick discussion about it. Maybe to PHP 9. One of the things I remember that was a big problem was the performance impact in determining

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Mike Schinkel
> On Apr 25, 2021, at 1:52 PM, David Gebler wrote: > > Still, all these problems are solved to the same degree if you add a > #[Sealed] attribute to a class which has no functional impact. You have > sufficiently indicated to any user that extending this class is not a > designed feature and may

Re: [PHP-DEV] [RFC] Partial function application

2021-04-25 Thread Olle Härstedt
2021-04-25 21:25 GMT+02:00, Larry Garfield : > Greetings, Internalians! > > I would like to offer for your consideration another RFC, specifically > syntax for partial function application. > > https://wiki.php.net/rfc/partial_function_application > > It includes an implementation by Joe Watkins

[PHP-DEV] Re: [RFC] Short functions, take 2

2021-04-25 Thread Larry Garfield
On Wed, Mar 24, 2021, at 7:39 PM, Larry Garfield wrote: > As requested, splitting off the short-functions RFC to its own thread. > > https://wiki.php.net/rfc/short-functions > > In response to the feedback that the savings in typing volume is small, > that's true but also not the main point.

Re: [PHP-DEV] [RFC] Auto-capture multi-line closures and short functions take 2

2021-04-25 Thread Larry Garfield
On Wed, Mar 24, 2021, at 11:19 AM, Larry Garfield wrote: > Greetings, Internalians. > > Some months back I proposed an RFC for short functions. > > https://wiki.php.net/rfc/short-functions > > After some discussion, I put it on hold to ensure that it was > compatible with the other discussion

[PHP-DEV] [RFC] Partial function application

2021-04-25 Thread Larry Garfield
Greetings, Internalians! I would like to offer for your consideration another RFC, specifically syntax for partial function application. https://wiki.php.net/rfc/partial_function_application It includes an implementation by Joe Watkins that is already about 95% complete. (There's some edge

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Larry Garfield
Stitching together 2 replies to minimize thread noise... On Sun, Apr 25, 2021, at 11:58 AM, Michał Marcin Brzuchalski wrote: > Speaking of Attributes I prefer not to use an Attribute for any particular > language feature which expects input arguments to be a valid class or > interface name for

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread David Gebler
Still, all these problems are solved to the same degree if you add a #[Sealed] attribute to a class which has no functional impact. You have sufficiently indicated to any user that extending this class is not a designed feature and may cause backwards-incompatible breaks with future releases - in

Re: [PHP-DEV] Re: [RFC][Draft] Sealed Classes

2021-04-25 Thread Michał Marcin Brzuchalski
Hello Saif sob., 24 kwi 2021, 13:00 użytkownik Saif Eddin Gmati napisał: > A major behavior i wanted to discuss is how should sealed interfaces work, > and specially around `Throwable` which is currently sealed to only `Error` > and `Exception`, but allows other interfaces to extend it, and

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Larry Garfield
On Sun, Apr 25, 2021, at 9:43 AM, Saif Eddin Gmati wrote: > On Sun, 25 Apr 2021 08:39:37 +0100 Olle Härstedt > wrote > > > > In practice, I think all of the use cases for sealed classes are > ADT-esque. > > > As I noted before, combining sealed classes with Nikita's >

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Olle Härstedt
2021-04-25 18:27 GMT+02:00, Larry Garfield : > On Sun, Apr 25, 2021, at 2:04 AM, Olle Härstedt wrote: >> > A total function is a function that is defined over the entire domain of >> > its >> > inputs. For example, addition is a total function over integers, >> > because >> > for every possible

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Larry Garfield
On Sun, Apr 25, 2021, at 2:04 AM, Olle Härstedt wrote: > > A total function is a function that is defined over the entire domain of its > > inputs. For example, addition is a total function over integers, because > > for every possible pair of integers you pass to it there is a logical return > >

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Larry Garfield
On Sun, Apr 25, 2021, at 9:48 AM, Mike Schinkel wrote: > > A total function is a function that is defined over the entire domain of > > its inputs. For example, addition is a total function over integers, > > because for every possible pair of integers you pass to it there is a > > logical

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Mike Schinkel
> On Apr 24, 2021, at 7:39 PM, David Gebler wrote: > > I don't love this idea, I'm not very fond of the final keyword, either; I'll start by saying the final keyword caused me a tremendous amount of heartache because it was used on a class in a framework that I badly, badly needed to

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Saif Eddin Gmati
> personally I'm okay with using an attribute, but using a keyword for type > system related features seems like a better fit. > > > > I have added it to the alternative syntax list, which would have a separate > vote. > > > >

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Mike Schinkel
> On Apr 24, 2021, at 11:47 PM, Larry Garfield wrote: > > On Sat, Apr 24, 2021, at 2:55 PM, Olle Härstedt wrote: >> 2021-04-24 21:51 GMT+02:00, Marco Pivetta : >>> On Sat, Apr 24, 2021, 21:44 Olle Härstedt wrote: >>> 2021-04-24 17:59 GMT+02:00, Saif Eddin Gmati : >> Doesn't this

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Saif Eddin Gmati
On Sun, 25 Apr 2021 08:39:37 +0100 Olle Härstedt wrote > > In practice, I think all of the use cases for sealed classes are > > ADT-esque. > > As I noted before, combining sealed classes with Nikita's > > new-in-expressions > > RFC would allow for this (also using my

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Olle Härstedt
> In practice, I think all of the use cases for sealed classes are ADT-esque. > As I noted before, combining sealed classes with Nikita's new-in-expressions > RFC would allow for this (also using my short-functions RFC for this > example, although that's a nice-to-have): > > sealed class Maybe

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Olle Härstedt
> For a more typical PHP example, getUser(int $id) is not a total function, > unless you have PHP_MAX_INT user objects defined in your database. If you > pass an int that does not correspond to a defined user, you now have to deal > with "user not found" error handling. getUser() is not a total

Re: [PHP-DEV] [RFC][Draft] Sealed Classes

2021-04-25 Thread Olle Härstedt
> A total function is a function that is defined over the entire domain of its > inputs. For example, addition is a total function over integers, because > for every possible pair of integers you pass to it there is a logical return > value. However, square root is not a total function over