串接编程语言

串接(concatenative)编程语言,是无点的计算机编程语言,在其中所有表达式都指示为函数,而表达式的并列指示函数复合[1]串接编程语言将常见于其他编程样式中的函数应用英语Function application,替代为函数复合英语function composition (computer science),作为建造子例程的缺省方法。

名称含义编辑

串接语言这个名词最早在Joy语言中采用。在这门语言中,符号串接的语法关系,被直接映射成函数复合的语义关系上:“两个程序的串接指示这两个程序指示的函数的复合”[2]

例子编辑

例如,在如下的应用式语言的运算操作序列:

y = foo(x)
z = bar(y)
w = baz(z)

在串接语言中被写为没有参数的函数的序列[3]

 foo bar baz

在串接语言中的函数和过程不是值级别的,就是说它们典型的不通过显式的名字或标识符表示出它们所操作的数据结构;转而它们是函数级别的,函数被定义为管道,它的一序列操作运算,从一个隐式数据结构上取得参数,所有函数都在其上操作,并将函数的结果返回到这个共享的数据结构,从而被下一个算子(operator)所用[4]

复合式语义与镜像这种语义的语法英语Syntax of programming languages相组合,使得串接语言高度服从于程序的代数式操纵[5];尽管在其中直接书写数学表达式可能会有困难[6]。串接语言可以通过堆栈机器以高效的方式实现,并以虚拟机及其指令集的形式含蓄的出现[6]

特性编辑

串接语言的特性来自它们的复合式语法和语义:

  • 任何表达式的归约都是一个函数到另一个函数的简化;处理函数到对象的应用是从来都不需要的[7]
  • 任何子表达式可以被替代为代表相同子表达式的一个名字。这在串接语言社区中被称为重构并被广泛使用来将程序简化为更小的各部份。
  • 串接语言的语法和语义形成了幺半群的代数结构[8]
  • 受不产生任何垃圾英语Garbage (computer science)线性逻辑的启发,串接语言可以变得非常适合实现[9]

实现编辑

第一个串接编程语言是Forth,尽管第一个自称串接语言的是Joy。其他串接语言有Factor英语Factor (programming language)、Onyx、PostScriptRPL英语RPL (programming language)等。

多数现存的串接语言是基于堆栈的;这不是必须要求,并已有其他模型提出[10][11][12]。串接语言目前作为目标语言用于嵌入式系统桌面网页编程,还用于研究用途。

多数串接语言是动态类型的。例外包括静态类型的Cat语言[13]

参见编辑

引用编辑

  1. ^ Christopher Diggins: What is a concatenative language. Drdobbs.com. 2008-12-31 [2013-07-01]. 
  2. ^ Mathematical Foundations of Joy. (原始内容存档于October 7, 2011). 
  3. ^ Name code not values. Concatenative.org. [13 September 2013]. 
  4. ^ Concatenative language. Concatenative.org. [13 September 2013]. 
  5. ^ Rationale for Joy, a functional language. (原始内容存档于2011-01-15). 
  6. ^ 6.0 6.1 Why Concatenative Programming Matters. [13 September 2013]. 
  7. ^ von Thun, Manfred: Joy compared with other functional languages. (原始内容存档于2011-10-06). 
  8. ^ von Thun, Manfred: Mathematical foundations of Joy. (原始内容存档于2010-07-31). 
  9. ^ Henry Baker: Linear Logic and Permutation Stacks — The Forth Shall Be First. Home.pipeline.com. [2013-07-01]. 
  10. ^ The Concatenative Language XY. Nsl.com. [2013-07-01]. 
  11. ^ The Enchilada Programming Language. Enchiladacode.nl. [2013-07-01]. 
  12. ^ The Om Programming Language. Om-language.org. [2013-07-01]. 
  13. ^ Cat Specification. Cat-language.com. [2013-07-01]. (原始内容存档于2015-02-05). 

外部链接编辑