I finally caught up on this thread. On 5 Dec 2013 09:59, "Mark Miller" <erig...@gmail.com> wrote: > > Good, I think we're converging on what the important sub-problem is: building an abstraction mechanism that enables the open-ended expression of projections, but not the expression of non-projections. My previous statements about join were premised on such a projection-only abstraction. But I mistakenly thought that we could build it by adapting the E and Joe-E auditor logic. Sam is right that we can't. Some of Cormac's work on trace-monitoring temporal contracts might be the answer, or at least a place to start. > > Once we have such an open-ended projection-only abstraction, then all these questions about equality become interesting and pressing.
I agree with Mark, the question is both interesting and pressing. Any suggestions as to an appropriate 'projection-only abstraction'? -- P Sent from my tablet.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
_______________________________________________ dev-tech-js-engine-internals mailing list dev-tech-js-engine-internals@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-tech-js-engine-internals
