Hacker News Reader

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

View on HN

OK, then I'm very confused by this documentation:

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. :)

I 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 :)

Reply on news.ycombinator.com