Are you aware of the history of object-capability programming languages? There are multiple actual demonstrations of real-world ocaps programming languages and

Are you aware of the history of object-capability programming languages? There are multiple actual demonstrations of real-world ocaps programming languages and projects built with them: * The (now defunct) E programming language: http://erights.org http://erights.org and Joule: https://en.wikipedia.org/wiki/Joule_(programming_language) https://en.wikipedia.org/wiki/Joule_(programming_language) * Pony: https://www.ponylang.io https://www.ponylang.io * Monte: http://www.monte-language.org http://www.monte-language.org * The Midori project at Microsoft: http://joeduffyblog.com/2015/11/10/objects-as-secure-capabilities/ http://joeduffyblog.com/2015/11/10/objects-as-secure-capabil... It's actually not at all unworkable to use object-capability for large programs. In fact, one of the main benefits of ocaps is how well it aligns with well-established good software design principles such as dependency injection, avoiding singletons, avoiding global mutable state, and so on.