http://tutorial.ponylang.org/capabilities/introduction/
It seems to state that the type qualifiers are the capabilities, and explicitly claims no existing language support capabilities.
If this is just an issue of misleading documentation then I apologize for raising a false alarm, though the documentation should be corrected. :)
No worries on a false alarm, as I am always eager to discuss capabilities security, in any form :)
http://tutorial.ponylang.org/capabilities/introduction/
It seems to state that the type qualifiers are the capabilities, and explicitly claims no existing language support capabilities.
If this is just an issue of misleading documentation then I apologize for raising a false alarm, though the documentation should be corrected. :)