On Sat, Aug 14, 2021 at 1:27 AM Jordan LeDoux <jordan.led...@gmail.com> wrote:
> > Any feedback is greatly appreciated. > https://github.com/JordanRL/never-argument-type My only feedback is that it should not be called `never`. If I see `never` as the parameter type, I read this as never being allowed to pass anything, which means that `foo('something')` with `foo(never $something)` will result in a compile error. The type `never` only makes sense from a return type perspective: "Should it return? never". Perhaps `any` or `anything` makes more sense? I've also seen a suggestion to name it `abstract`, and maybe there are more suggestions I've missed. To me it also sounds like the goal of `never` as a parameter type is different from the return type. From my understanding one indicates that a type is required, while the other indicates that nothing ever returns, giving it the same name is confusing. Apologies for sending this message twice to you Jordan, reply to all is not my default reply button.
