|
|
|
|
@ -67,7 +67,7 @@ Goblins' extensions to these ideas are:
|
|
|
|
|
@item{@emph{Both} synchronous and asynchronous calls are defined and |
|
|
|
|
supported, between @racket[$] and @racket[<-] respectively. |
|
|
|
|
However, @racket[$] is both convenient and important for systems |
|
|
|
|
that much be transactionally atomic (eg |
|
|
|
|
that must be transactionally atomic (e.g. |
|
|
|
|
@link["http://erights.org/elib/capability/ode/ode-capabilities.html"]{implementing money}), |
|
|
|
|
it is limited to objects that are within the same @tech{vat}. |
|
|
|
|
@racket[<-] is more universal in that any actor on any @tech{vat} |
|
|
|
|
|