3 ms·

Object-capability models really shine there: https://en.m.wikipedia.org/wiki/Object-capability_model https://en.m.wikipedia.org/wiki/Object-capability_model Wh

Object-capability models really shine there: https://en.m.wikipedia.org/wiki/Object-capability_model https://en.m.wikipedia.org/wiki/Object-capability_model What if the only way to access the file system was to call methods on an object that was provided to main()? Then libraries would only be able to access the file system if they got a reference to that object.

mlinksva 3y ago
The OP does mention Austal as one of a few languages putting their own twist on Rust learnings, though the most interesting thing to me about Austral is indeed https://borretti.me/article/how-capabilities-work-austral https://borretti.me/article/how-capabilities-work-austral rather than simply memory safety (though that's essential too).