Immutable value semantic returns questions from #5434

[josh11b]

trafficstars

These questions were prompted by discussion around proposal #5434 .

How should we spell value form returns at a high level? Should we have

• an explicit marker attached to the return?
• an explicit marker attached to the function declaration? or
• imply this from bound parameters?

If the answer is one of the first two, should the explicit marker leverage the keyword let? If not, what keyword or symbol should be employed here?

If we do pick the keyword let, should we rename terminology to use that keyword as well? And how much terminology?