Array of something | They cry "php has no generics" meaning only THIS

[gzhegow1991]

Description

• Of course this proposal may be merged with any other collection suggestions or something

Actually Generics may be used only in two possible ways:

1. Create Concrete (example: repository) that implements Abstract one, and concrete has some public methods that is required only inside this concrete repository, but repository calling or creation - it is responsibility of some data manager. The case differs from primary OOP idea just because every of that repositories most of the time "extended" (i mean - fixed, edited, rewritten) hundreds of times, and creating 100 interfaces for each feature with transformation method for certain repository is a useless work.
   So, you create manager, implement method "getRepository() : RepositoryInterface" and then you always needed to check "is it my repository or other one".
   Currently may be solved with PHPDoc @template syntax very well, but requires additional argument in method signature to define class-string $classT to work enough good.

2. And second, more often, case - is to create plain list of any other type... Common pain here is to check that list using foreach everywhere is necceseary. If you just create "typehint" for "array of something" - it kinda work, but still at the low level it will be foreach-validation everywhere, just without writing code.
   So suggested stuff is to create internal class that represent "list" or maybe ok, associative, that can contain only one data type that MUST be declared. So you create new List<string> and typehint just check is passed value an instance of List<string> via simple if. Potential of this improvement is uncountable (just one example - return type "array of callables")

*3. other rarely use cases that could be realised using previous two, generics-from-generics-from-generics stuff - is about bad code smell (like intersection types - while union types usually give you more options, intersection types are just lazy checking to hide a bad code smell), i think we have to follow here "easiest-solution-less-bugs"

[iluuu1994]

Have you checked the recent blog post on generics?

https://thephp.foundation/blog/2024/08/19/state-of-generics-and-collections/

Can you clarify what you're suggesting to be added? Some examples would help. You may also post in your native language to lower language barrier. I have a lot of trouble understanding your message.

[gzhegow1991]

Have you checked the recent blog post on generics?

https://thephp.foundation/blog/2024/08/19/state-of-generics-and-collections/

Can you clarify what you're suggesting to be added? Some examples would help. You may also post in your native language to lower language barrier. I have a lot of trouble understanding your message.

Checked it by your reference at first.
My subjective evaluation - "tonns of letters instead of laser that is doing a job".

About language barrier - i know that my english is worse than it have to be, but did you tried to copy my whole post to google translate? Just ctrl+c / ctrl+v, translate to RU, then exchange tabs - you will see more beautiful english then. Usually am doing it myself, but not today.

Its not about "am the lazy bastard" story, its about "you never stop by some reason to force people reading 1000 pages of theory, but Business wants smart people from birth" (its easier to reduce salary if native person is already a batman and lowest salary is for batman, if you arent batman - you free to go away only). So please, reduce incoming info as most as you can. Reading manuals is "free" job. Free for client i mean. Its just process of writing manuals from dev to dev, useless!

I mean - they pay money to 2 groups of developers:

• one group is solving tasks fast
• second group is seems as Gods (and actually its a club, you cant become God without incoming proposal of existing Gods, so you forced to agree with the rules of the club)

Creating new theories helps to Gods, so people is leaving other languages for hype, easy job or something. Most of people i've met for 12 years of my experience just dont read anything, but those who read - understand nothing. Things goes that way.

If you write these mans to sell "the technology" then remember you trying to sell hammer to hammermaster, sell it for free, trying to get his trust to this hammer. Why not just give him the hammer? If you need to sell technology to business - your path is correct. But you create tool for last chain link, he doesnt want to buy solution, he wants a tool.

They all can read, but they all understand their own way and next step is to "fight" with each other about every word or sentence instead of read 2 sentences, and there's only 2 points of talk. If they wants more - they open docs like php.net, to read more, but reading more shouldnt be point of changes.

Main point am telling you above - you try to fill brain of people, but nobody takes it into account... You, all, have to stop, please!

Actually if the person is clever and known 10000 standarts - the person lives alone, because nobody understand why the person is that "clever". Alternative effect happened, the smarter = the dumper.

Please, listen to me. Idea is not an imagination "correct code way" that covers all possible and impossible cases. Idea is to add to developer single or two lines of the code - that just do the job.

As a developer - needed just that:

1)

/**
 * @temptate T
 * 
 * @param class-string<T> $classT
 *
 * @return T
 */
function myfunc(MyAbstractClass $myObject, string $classT) : MyAbstractClass // or MyConcreteClass, or even mixed
{
  // ...and it works well inside PHPStorm, it helps to recognize output types, autocomplete is working!
  return $myObject;
}

2) Working typehint like `array<MyClass>` instead of just `array`.
But internally checking all array values on each typehint would be expensive.
So you just create php core class, that represent array, like `$arr = new Array<MyClass|MyClass2>()`, and then typehint just check it using "instanceof" instead of "foreach". Once you __set() or put values inside array - it will be checked once and correctly on adding step.

All other academical ideas and theories will never been applied by 95% of coders. So why implement features for one code-God, who imagine 1000 pages of ideas and still didnt implement async using generators and pipelines??

Let him be as he is, work for many people, not for "likes" but for "sense".

[iluuu1994]

My subjective evaluation - "tonns of letters instead of laser that is doing a job".

Well, the same applies here, your response just now consist of 95% ranting. The same goes for almost all other issues you have created in the past. It would be great if you could condense your thoughts.

Working typehint like array<MyClass> instead of just array.

The blog post I referenced goes into why generic arrays are very hard to implement in an efficient manner. It's not due to the lack of trying.

@param class-string $classT

Fair enough. You should create separate issues for unrelated requests, so that they may be handled/discussed individually. Please focus on using simple language, avoid rants, and provide clear, concise and understandable examples. Otherwise, your issues just remain open because nobody wants to read them or nobody can comprehend them, which is a waste of time for both you and us.

[gzhegow1991]

Yes am doing the ranting because this ranting is required to explain the feelings that forces me to write the post. Life conditions -> Feelings -> Changes -> Actions. If you TRY to understand me from first words - i will never explain damn feelings. Feelings is needed to catch same wave, but seems you dont want to. That way it was useless.

"Blog post referenced"... "Hard way"... I just describe concrete solution. You create class that expect child type to input. Then array methods is validated with given type (scalar, null, array, class, resource).

It should create class reference in-memory with dynamic name, and then this name is validated on typehint level.

All things i expect - you put global stuff at core level because "class creation for each collection" is a madness but possible without your mindmaps and complexifications.

Whats the problem of theoretical ideologization here again?

Never mind, i will AGAIN solve it via this:

Class ArrayOf implements \ArrayAccess, \Countable, \Serializable, \IteratorAggregate
{
  __construct(readonly string $type) {}

  assertOf(string $type) : void
  {
    if ($type !== $this->type) throw new \RuntimeException();
  }
}

function myFunc(ArrayOf $integers, ArrayOf $cars)
{
  $integers->assertOf('integer');
  $cars->assertOf(MyCar::class);
}

$arr1 = new ArrayOf('integer');
$arr2 = new ArrayOf(MyCar::class);

$arr1[] = 1; // offsetExists() + offsetSet() // maybe validation on set()
$arr1[] = 2; // offsetExists() + offsetSet()
$arr1[] = 3; // offsetExists() + offsetSet()

$myCar = new MyCar();
$arr2[] = $myCar; // offsetExists() + offsetSet()

myFunc($arr1, $arr2);

If you need MANUAL or SCIENCE DOCUMENT for this...

[MorganLOCode]

Yes am doing the ranting because this ranting is required to explain the feelings that forces me to write the post. Life conditions -> Feelings -> Changes -> Actions. If you TRY to understand me from first words - i will never explain damn feelings. Feelings is needed to catch same wave, but seems you dont want to. That way it was useless.

The life conditions and feelings are yours, and not something we can deal with. So don't try to explain here something you will never explain. All it does is make understanding you even harder. Most of the time it's so hard that people don't bother: they've got things of their own that they'll need to do and they'll just do those instead.

All things i expect - you put global stuff at core level because "class creation for each collection" is a madness but possible without your mindmaps and complexifications.

Whats the problem of theoretical ideologization here again?

This is a bug tracker, not the PHP mailing list or your blog. This place is for the Actions part of your chain, not the rest of it. Give us something actionable and stick to just that.