[cap-talk] Abstractions that subsume capabilities

[Sandro Magi]

Sandro Magi wrote:
> I'm suggesting a FileSystem is like an E directory, a private namespace, 
> and that a directory object can still perform getParent() operations. 
> There is no global FileSystem object, and no dynamic scoping. It's all 
> standard parameter passing. Something like:
> 
> getDir: FileSystem -> String -> Directory
> chroot: Directory -> FileSystem
> getFile: Directory -> String -> File
> getParent: Directory -> Maybe Directory

Sorry, this would more accurately be:

getDir: FileSystem -> String -> Maybe Directory
chroot: Directory -> FileSystem
getFile: FileSystem -> String -> Maybe File
getParent: Directory -> Maybe Directory

The original signatures are other variations that are possible, but the 
above follows the more standard semantics.

Sandro