27 Sep
2005
27 Sep
'05
6:40 p.m.
Because `+ is not allowed to be destructive on its arguments. It can therefore only be destructive as long as it isn't observable, and that's when there's no more than one ref to an argument.