20 ms·
The "type qualifiers" you refer to are an extension of the capabilities-secure nature of Pony. They are themselves also a form of capabilities, specifically bec
by 0cachecoherency 11y ago
The "type qualifiers" you refer to are an extension of the capabilities-secure nature of Pony. They are themselves also a form of capabilities, specifically because the underlying language is itself capabilities-secure.
You may be interested in the type system paper that covers this:
http://ponylang.org/papers/fast-cheap.pdf http://ponylang.org/papers/fast-cheap.pdf
- kentonv 11y agoOK, then I'm very confused by this documentation: http://tutorial.ponylang.org/capabilities/introduction/ 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. :)
- 0cachecoherency 11y agoI think you're right, the documentation should DEFINITELY be corrected! No worries on a false alarm, as I am always eager to discuss capabilities security, in any form :)