演员模型接下來的訊息。演员可以修改它们自己的私有状态,但是只能通过消息间接的相互影响(避免了基于锁的同步)。 演員模型在1973年於Carl Hewitt(英语:Carl Hewitt)、Peter Bishop及Richard Steiger的論文中提出。它已经被用作并发计算的理论理解(英语:Actor model
演员模型的指称语义ω-连续的(参见上节中的定义)。 演员模型为得出 Dana Scott 的函数的指称语义(在前面章节关于 factorial 的例子所展示的)提供了基础,Carl Hewitt 和 Henry Baker [1977] 首次给出了定理证明: 如果一个演员 f 表现得如同数学函数,则 progressionf 是 Scott
SchemeScheme的語法即來自S-表达式,這一特性使得在Scheme中實現自循環直譯器變得非常簡單。 在1973年,麻省理工學院的Carl Hewitt(英语:Carl Hewitt)提出的一種叫做演員模型的計算模型,并用Lisp开发当时叫做Planner(英语:Planner (programming
指称语义Least Fixed Points Revisited Theor. Comput. Sci. 2(2): 155-181 (1976) Carl Hewitt and Henry Baker Actors and Continuous Functionals Proceeding of IFIP
域理论Scott-连续函数的概念。因为经常是没有歧义的,你也可以称它为连续函数。Henry Baker 和 Carl Hewitt 证明了任何表现得如同函数的演员(actor)都是连续的。 域理论的一个重要应用是 Will Clinger 用它来开发并发计算的演员模型的语义(参见指称语义)。