串接编程语言

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

编程范型

名称含义

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

例子

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

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

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

 foo bar baz

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

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

特性

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

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

实现

第一个串接编程语言是Forth，尽管第一个自称串接语言的是Joy。其他串接语言有Factor、Onyx、PostScript和RPL等。

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

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

参见

引用
  1. . Drdobbs.com. 2008-12-31 [2013-07-01]. （原始内容存档于2011-08-11）.
  2. . [2020-05-06]. （原始内容存档于2011-10-07）.
  3. . Concatenative.org. [13 September 2013]. （原始内容存档于2013-09-29）.
  4. . Concatenative.org. [13 September 2013]. （原始内容存档于2010-07-29）.
  5. . [2020-04-19]. （原始内容存档于2011-01-15）.
  6. . [13 September 2013]. （原始内容存档于2016-10-11）.
  7. . [2020-04-19]. （原始内容存档于2011-10-06）.
  8. . [2020-04-19]. （原始内容存档于2010-07-31）.
  9. . Home.pipeline.com. [2013-07-01]. （原始内容存档于2014-07-24）.
  10. . Nsl.com. [2013-07-01]. （原始内容存档于2020-11-11）.
  11. . Enchiladacode.nl. [2013-07-01]. （原始内容存档于2020-11-09）.
  12. . Om-language.org. [2013-07-01]. （原始内容存档于2020-11-19）.
  13. . Cat-language.com. [2013-07-01]. （原始内容存档于2015-02-05）.

外部链接
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.