HaloO, 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. Regards, TSa. -- "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