Support for iterable

[simPod]

Q	A
Bug report?	no
Feature request?	yes
BC Break report?	no
RFC?	no

Here #1023 the generators and iterators support was implemented. I wonder would it be possible to support iterable?

Currently, I have to type against concrete type, eg.
* @Serializer\Type("array<T>")
* @Serializer\Type("Generator<T>")

I'd like to type as * @Serializer\Type("iterable<T>"). I suppose it could be deserialized eg. as an array when deserializing.

Would it make sense?

[goetas]

I think here my answer is the same as for the Iterator interface, see in #1034 (comment)

[simPod]

I was thinking that since we're working with interface the implementation shouldn't matter (if end user respect the type ofc).

The issue is that currently it's not possible to have:

/**
 * @Serializer\Type("Generator<T>")
 * @var iterable<T>
 */
private $collection;

@var says that it expects interface so implementation doesn't matter. But serializer requires concrete type. This breaks LSP.

[goetas]

how to deserialize @Serializer\Type("iterable<T>")?

Do you want to say that using iterable<T>, the consumer should not care if it has an array, an iterator or other, the important is that is deserialized into something "iterable" ?

[simPod]

Yes exactly. I don't see any better way when working with interfaces. But consumer should not care about implementation when expecting interface. 🤔

[goetas]

You convinced me.

With this in mind, then Iterator can also be implemented, amending my comment in #1034 (comment)

[simPod]

Will look into it, thanks! You can assign me to this issue.