Re: Pony talks about Deny Capabilities

On 11/05/2015 3:46 PM, Sylvan Clebsch wrote:
> E's approach (assuming I understand it correctly, which is a big 
> assumption) of only allowing a File object to be created relative to a 
> previously existing File object is the one I've been looking at 
> (funnily enough, just this past weekend). I was considering a separate 
> sort of object that encapsulated a Path, which could be examined, 
> split, etc as usual, but a new Path would have to be a concatenation 
> of an existing Path and additional data.

This is an approach I played with a few years ago [1], except I also 
reify the R/W permissions at the type level so you can reason about 
authority in slightly more flexible ways.

Sandro

[1] 
https://sourceforge.net/p/sasa/code/ci/default/tree/Sasa.Security/IO/FileSystem.cs