Dualities in Programming Languages
Dualities in Programming Languages
复制标题
编程语言的二元性
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
P. Nagpurkar
中科院分区：
文献类型：
--
作者：
Martin Hirzel;P. Nagpurkar
二元性可以被认为是一对概念和它们的术语之间的映射，这样，替换特定于概念的术语将关于一个概念的陈述变成关于另一个概念的陈述。例如，在1979年，劳尔和李约瑟指出了消息传递=共享内存并发之间的二重性[6]。二元性中的相似性使跨领域的想法重用成为可能。但同样重要的是二元性的不完美性，这往往会引发原创性研究。我们认为，对二元性的思考激发了编程语言的创新。这也是一个方便的借口玩花式乳胶多列格式。
A duality can be thought of as a pair of concepts and a mapping between their terminology, such that substituting the concept-specific terminology turns a statement about one concept into a statement about the other. For example, in 1979, Lauer and Needham pointed out the duality between message passing = shared-memory concurrency [6]. The similarities in a duality enable cross-domain idea reuse. But equally important are the imperfections of dualities, which often trigger original research. We claim that thinking about dualities inspires innovation in programming languages. It is also a convenient excuse to play with fancy LATEX multicolumn formatting.