连接编程语言的实际使用

factorcode.org , concatenative.org 和 tinyvid.tv 由…供电 Furnace ,一个Factor Web服务器和框架。

PostScript是串联的,显然有大量的PostScript应用程序。它不是一种通用的编程语言。

Palm有一些过时但非常酷的Quartus Forth,它允许在Palm设备上进行完全编译的应用程序开发(Forth是一种极简语言,在这种情况下效果相当好)。他们 home page 列出几个Palm应用程序。

此图页有一个 list of mostly-embedded projects 包括一个非常酷的使用forth by的参考 NASA .

1991年,我在昆士兰州的一次苹果会议上遇到了一个人,他零售了一份写在 MacForth .

克里斯托弗·迪金斯在谈论他的 Cat language 在微软内部被用来帮助优化编译器,但我不知道这是否适用。

我怀疑 PowerMOPS (neon的继承者)可以避开concatenative的定义,因为它的主要任务是添加对象方向,这意味着实例。

看一看 FORTH Inc ,他们列出了他们和他们的客户所做的几个项目,使用他们的forth。

正如格雷格所写,后记是一个巨大的例子。

由于语言运行时的琐碎性质,连接语言随处可见,这是很自然的。对于许多固件来说,它是最受欢迎的:我第一次在bootloader中“肉中”遇到forth,进行日光照射。它为OLPC的固件供电。

ocaml的父对象caml是基于将函数编程的语义实现为分类抽象机(caml中的cam)的基础上的。

bibtex使用一种连接语言来编译样式文件。

Macs上的部分固件(至少在旧的PowerPC模型中)是用forth编写的。

见: http://osxbook.com/book/bonus/ancient/whatismacosx/arch_boot.html

Eserv 和 nncron 都写进去了 SP-Forth .

比特币协议,以及大多数其他密码币,都使用 pubkey scripts and signature scripts 对于交易验证:

pubkey脚本和签名脚本将secp256k1 pubkey和签名与条件逻辑结合在一起,创建了一个可编程的授权机制。

这些脚本是 written in a concatenative language :

脚本语言是一种类似于第四种基于堆栈的语言,专门设计为无状态的,而不是图灵完整的。无状态性确保一旦将事务添加到块链中,就没有任何条件使其永久不可挂起。图灵不完全(特别是缺少循环或goto)使得脚本语言的灵活性和可预测性降低,从而大大简化了安全模型。