You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[$number] here should be interpreted as $array($number)
Implementation attempts so far have shown that this is...tricky to get right. Also slightly concerned about confusion/conflict with single element tuples. Tuples with only one item are kind of pointless, and very uncommon, but I think we'd want to avoid ever adding a shorthand syntax for tuples in general, as [$number] meaning "Array of any length" along side something like [$number, $number] meaning "Array of exactly 2 length" would be confusing
The text was updated successfully, but these errors were encountered:
i.e.
[$number]
here should be interpreted as$array($number)
Implementation attempts so far have shown that this is...tricky to get right. Also slightly concerned about confusion/conflict with single element tuples. Tuples with only one item are kind of pointless, and very uncommon, but I think we'd want to avoid ever adding a shorthand syntax for tuples in general, as
[$number]
meaning "Array of any length" along side something like[$number, $number]
meaning "Array of exactly 2 length" would be confusingThe text was updated successfully, but these errors were encountered: