Closed fridis closed 2 months ago
See #341 for an example where this is useful. This would enhance the duality of types and expressions, so ref T is the reference type to a value of type T while ref v is a reference to a copy of the value v.
ref T
T
ref v
v
I am no longer sure whether I really want this...
@fridis can this be closed?
Since types ref t no longer exist, we also do not need expressions ref v. Closing this issue.
ref t
See #341 for an example where this is useful. This would enhance the duality of types and expressions, so
ref T
is the reference type to a value of typeT
whileref v
is a reference to a copy of the valuev
.