a[0]
. They're both equivalent. I feel that this would have been asked before, but I can't find a Q&A. It's fairly straightforward to turn the first into the second, so I'm not sure it's worth asking. It would be nicer if there were a robust way to help Sum
handle such things.