Re: Links, Types and Documents

Jim Davis (
Wed, 24 Jun 92 11:55:33 EDT

In considering R. Raisch's link types, it seems to me that the
expansion and replacement can be combined and generalized. In both
cases portion of the document is replaced. In expansion case, the
condensed text is replaced (perhaps temporarily) with the enlarged
text, in replacement the entire document is replaced with some other.
So the more general case is a link which labels a range in both the
source and target document. The replacement link labels the entire
document, the expansion labels only a portion.

As for execution links in general, I see Dan's point that adding
procedures to documents makes them difficult to manipulate. And N
Borenstein has pointed out (in Mime) the dangers of executing
arbitrary code. But I still see that there are functions which only
code can provide, and so we just face the challenge of designing a
language that is both powerful and safe, perhaps sacrificing Turing
completeness. Is Atomicmail [tm?] such a language?