recursive/deep array type definition

[staabm]

Is there a way to express a array-type, in a way that endless level of nesting is allowed, but only from values of type string|int.

in my use case I want to support a array of payload data and I don't want it to contain any floats.
it can be a array, an array of arrays, or even deeper structures, but no floats.

example structure which should report an error

        $amount = [];
        $amount['total'] = $OrderCalculator->getTotalSum(); // returns float, which should be detected as a error
        $amount['currency'] = 'EUR';
        $amount['details'] = $paymentDetails; // another array

        $data['transactions'] = [];
        $data['transactions'][]['amount'] = $amount;
        myfunc($data);

I tried things like nested templates, e.g.

  @template T of int|string|array<T>

but this seem not to work

[staabm]

atm I am working with this ugly defintion, which does what I want but only for a fixed number of levels and producing rather ugly error messages - when the types do not match:

 * @template V of int|string
 * @template NonFloatArray of V|array<V|array<V|array<V|array<V|array<V>>>>>

ugly error

  40     Parameter #2 $payload of method RestClient<int|string,array<array<array<array<array<V of int|string>|int|string>|int|string>|int|string>|int|string>|int|string>::post() expects
         array<array<array<array<array<int|string>|int|string>|int|string>|int|string>|int|string>|int|string|null, array<string, array<string, float>|float|string> given.

[ondrejmirtes]

Recursive types aren't supported now and I don't know if they ever will. I recommend using objects instead, you can have property with type self inside, achieving the same thing and in a safer way.