An indeterminate constructor for applicative programming
An indeterminate constructor for applicative programming
复制标题
应用程序编程的不确定构造函数
DOI：
10.1145/567446.567470
复制
发表时间：
1980
期刊：
影响因子：
--
通讯作者：
David S. Wise
中科院分区：
文献类型：
--
作者：
Daniel P. Friedman;David S. Wise
提出了在数据结构中封装和控制竞争并行进程的方法。将争用嵌入到数据中的优点是，争用本身因此成为可以由程序在高于进程本身的动作的级别上处理的对象。这意味着，程序员或输入从未精确指定的不确定行为可能会以相同的方式共享，就像函数的自变量由相应参数的每次使用共享一样，这一能力对应用型编程特别重要。
This paper proposes the encapsulization and control of contending parallel processes within data structures. The advantage of embedding the contention within data is that the contention, itself, thereby becomes an object which can be handled by the program at a level above the actions of the processes themselves. This means that an indeterminate behavior, never precisely specified by the programmer or by the input, may be shared in the same way that an argument to a function is shared by every use of the corresponding parameter, an ability which is of particular importance to applicative-style programming.