Here's something I'm reading at the moment. http://research.microsoft.com/pubs/170528/msr-tr-2012-79.pdf
This provides a breakdown of (pointer) qualifiers: writeable, readable, immutable, isolated which allows a compiler to calculate things that can be run in parallel (without the programmer saying anything about threading). Note "readable" is NOT the same as "const" in C++, which I always knew was fairly useless. I'm still reading but the Felix appears immediately amenable to adoption of this system, particularly as "values" by themselves are intrinsically immutable. They're made mutable by copying to heap (new) or storing in a local var. Named values (val) are not immutable in the sense of the paper but probably should be. In the paper property "readable" is such that if you have a readable pointer you cannot get a writeable pointer out of the object pointed at. This is not true in C++ (which is why const is not very useful). -- john skaller skal...@users.sourceforge.net http://felix-lang.org ------------------------------------------------------------------------------ LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
