串接式(concatenative)编程语言,是无点的计算机编程语言,在其中所有表达式都指示为函数,而表达式的并列指示函数复合[1]。串接式编程语言将常见于其他编程样式中的函数应用,替代为函数复合,作为建造子例程的缺省方法。
名称含义
串接式语言这个名词,最早在2001年提出的Joy语言中采用。在这门语言中,符号的串接的语法关系,被直接映射成函数的复合的语义关系上:“两个程序的串接指示这两个程序指示的函数的复合”[2]。
例子
例如,在如下的应用式语言的运算操作序列:
y = foo(x)
z = bar(y)
w = baz(z)
在串接式语言中被写为没有参数的函数的序列[3]:
foo bar baz
在串接式语言中的函数和过程,不是值级别而是函数级的,就是说它们典型的不通过显式的名字或标识符,来表示出它们所操作的数据结构;转而在它们中,函数被定义为管道,它的一序列操作运算,从一个隐式数据结构上获取参数,所有函数都在其上操作,并将函数的结果返回到这个共享的数据结构,从而被下一个算子(operator)所用[4]。
复合式语义与镜像这种语义的语法相组合,使得串接式语言高度服从于程序的代数式操纵[5];尽管在其中直接书写数学表达式可能会有困难[6]。串接式语言可以通过堆栈机器以高效的方式实现,并以虚拟机及其指令集的形式含蓄的出现[6]。
特性
串接式语言的特性来自它们的复合式语法和语义:
实现
第一个串接式编程语言是Forth,但是第一个自称串接式语言的是Joy。其他串接式语言有Factor、Onyx、PostScript和RPL等。
多数现存的串接式语言是基于堆栈的;这不是必须要求,并已有其他模型提出[10][11][12]。串接式语言目前作为目标语言用于嵌入式系统、桌面和网页编程,还用于研究用途。
参见
引用
外部链接
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.