Alternative syntax for array shapes

[Danil42Russia]

For tuple (tuple(T1, T2, ..., Tn))

1. array{T1, T2, ..., Tn}
2. array{T1?, T2?, ..., Tn?}

For shapes (shape(k1:T1, k2:T2, ..., kn:Tn))

1. array{k1:T1, k2:T2, ..., kn:Tn}
2. array{k1:T1?, k2:T2?, ..., kn:Tn?}
3. array{'k1':T1, 'k2':T2, ..., 'kn':Tn}

Reference

1. PhpStan: https://phpstan.org/writing-php-code/phpdoc-types#array-shapes
2. Psalm: https://psalm.dev/docs/annotating_code/type_syntax/array_types/

[i582]

Shapes can have optional fields, can we express them in this syntax?

[Danil42Russia]

Fixed