------=_Part_1148_1790735759.1405731207127
Content-Type: text/plain; charset=UTF-8

Are there any proposals for transitive immutability, i.e. const that
propagates through all objects owned by a given object, like the
immutability in D and Rust.

Perhaps it could be a warning, easily upgraded to an error, and encourage
source bases to add 'const_cast' or mutable where they want to circumvent
it.

Immutability is important for parallelising, and simply communicating
effects; Its one of the biggest draws to Rust for me.

--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

------=_Part_1148_1790735759.1405731207127
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Are there any proposals for transitive immutability, i.e. =
const that propagates through all objects owned by a given object, like the=
 immutability in D and Rust.<div><br></div><div>Perhaps it could be a warni=
ng, easily upgraded to an error, and encourage source bases to add 'const_c=
ast' or mutable where they want to circumvent it.</div><div><br></div><div>=
Immutability is important for parallelising, and simply communicating effec=
ts; Its one of the biggest draws to Rust for me.</div><div><div><br></div><=
/div></div>

<p></p>

-- <br />
<br />
--- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

------=_Part_1148_1790735759.1405731207127--

.

Try searching this group for "deep const."

https://fa164c0271784b8ad77195d88aaed277e2e36a04.googledrive.com/host/0B5BUDfRWFDPvNGNsWmRJZFp1YU0/propagate_const.html


On 2014-07-19, at 8:53 AM, walter1234 <walter2bz@gmail.com> wrote:

> Are there any proposals for transitive immutability, i.e. const that propagates through all objects owned by a given object, like the immutability in D and Rust.



--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

.