[Cap-Talk] immutable data

[Richard Uhtenwoldt]

Mark S. Miller writes:

>Curiously, Concurrent Prolog and most of its progeny (such as ToonTalk) are 
>fine capability systems.  The invention of Concurrent Prolog probably 
>represents the third independent invention of capability computation, though 
>this time in a horn-clause inference context.

That's interesting.

Reason I suggest that Prolog was unsuitable for our purposes is that it
is difficult to persuade many programmers to learn it well enough to be
effective in it; and the difficult-to-learn stuff --unification,
performance implications of backtracking, the use of predicates rather
than functions-- can be done without in most application areas.

But then maybe I'm just biased against Prolog because I do not like
the closed-world assumption.

>  Watch this space.

I will.  I'm very happy you and MarkS are now getting paid to work on E.