Patrick R. Michaud wrote:
...except that captures don't capture values -- they form references.
I know. The semantics I have in mind is available as \($x is copy)
which unfortunately is not the default. I'm actually unsure if
this is valid syntax because that implies a mixture of signature
and statement syntax inside \(). E.g. the question is if
\($x + $y is copy) is valid.
"The unavoidable price of reliability is simplicity" -- C.A.R. Hoare
"Simplicity does not precede complexity, but follows it." -- A.J. Perlis
1 + 2 + 3 + 4 + ... = -1/12 -- Srinivasa Ramanujan