Re: [friam] Delegation is the Cornerstone of Civilization: Sharing in Sandstorm.io

Mark Miller <[email protected]> Mon, 11 May 2015 11:38:11 -0700
Newsgroups gmane.comp.capabilities.general
Message-ID <CAK5yZYj8VB0g7YV-oViugw5i2iJAJPqq72eh=B3KcqvDFA2vBg@mail.gmail.com>
On Mon, May 11, 2015 at 11:26 AM, 'Ben Laurie' via friam <
friam-/[email protected]> wrote:
[...]

> >> Since you mention it, a couple of comments:
> >>
> >> a) <pn>Bob<s/>Mom</pn> seems to me to be doing violence to XML or HTML
> >> or whatever markup it is you think you're using.
> >
> >
> > XML. Do you see anything about it that doesn't conform to XML?
> >
> > (Not that I care about XML anymore; but that's another matter)
>
> Well, I don't care either, and nor do I claim to be expert, however,
> my understanding is that if you want a relationship between two things
> in XML, you can't just stick a tag between them, you need instead to
> do something like:
>
> <pn-pair><pn-top>Bob</pn-top><pn-bottom>Mom</pn-bottom></pn-pair>
>
> or
>
> <pn-relation bottom="Mom">Bob</pn-relation>


I see. I think you're correct. My example is syntactically valid XML but
violates the way XML is supposed to be used.

Good that neither of us still cares about XML ;)





>
> >> b) The idea of looking up "Mom" in "Bob"'s namespace seems to violate
> >> the intent of petnames - i.e. I don't care who Bob thinks his Mom is,
> >> I care who _I_ think it is.
> >
> >
> > Interesting and valid point. Never occurred to me. Smalltalk '72 (yes,
> 1972)
> > used 's (apostrophe ess) for what modern languages use infix dot for.
> Your
> > observation points out an important semantic difference: "Bob.Mom" would
> be
> > more readily understood by programmers are who Bob's Mom is according to
> > Bob, rather than who I think his mom is. But only by programmers
> > unfortunately.
>
> True, but I think beside the point - when is someone else's petname
> for someone supposed to be useful to me? Surely in general it can't
> be?
>


From <http://www.erights.org/elib/capability/pnml.html>:

Where do these exported name-space objects come from? Anyone should be able
to create and maintain a name-space for export, and publicly export a
read-only facet. In an EChat- or PGP-like scenario, it is probably done by
deliberately marking a subset of one's pet-name name-space for export.



>
> >> c) You want to be able to express more complex relationships, I
> >> would've thought, e.g. Bob's Mom's cleaner.
> >
> >
> > <pn>Bob<s/>Mom<s/>cleaner</pn>
> >
> > This is subject to the same issue of course -- is this Bob's Mom's
> cleaner
> > according to Bob? Bob's Mom? or according to the person that is Bob's Mom
> > according to Bob? pnml says the last, which as you point out differs from
> > natural language. But that's already your issue #b. I don't see how #c
> > raises any additional issues.
>
> I wasn't suggesting it raised issues, its just you didn't really
> define how it worked.


From a PL perspective,

    namespace.name1.name2

is equivalent to

    (namespace.name1).name2

My intention is that <s/> act the same way.


-- 
  Cheers,
  --MarkM

_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk