連接編程語言的真實世界用法

Question

concatenative languages在concatenative languages中做了些什麼，如Forth,Factor, Joy等等。

Answer 1

factorcode.org，concatenative.org和tinyvid.tv由Furnace供電，因子網絡服務器和框架。

Answer 2

PostScript是連續的，顯然有大量的PostScript應用程序。這不僅僅是一種通用的編程語言。

Answer 3

Palm有一些已經過時但非常酷的Quartus Forth，允許在Palm設備上進行完整的編譯應用程序開發（Forth作爲極簡主義語言在這些情況下工作得很好）。他們的home page列出了幾個Palm應用程序。

該FIG頁面有一個list of mostly-embedded projects，其中包括對Forth的非常酷的使用NASA的引用。

在1991年，我遇到了一位在昆士蘭蘋果會議上的人，他曾經在MacForth上銷售過道路規劃申請。

Christopher Diggins在談論他的Cat language正在微軟內部使用，以幫助優化編譯器，但我不知道這是否到了任何地方。我懷疑PowerMOPS（霓虹燈的繼承者）可能沒有規定連接的定義，因爲它的重點是添加面向對象，這意味着實例。

Answer 4

看看FORTH Inc，他們使用他們的FORTH列出了他們和他們的客戶所做的幾個項目。

Answer 5

Mac上的部分固件（至少在較舊的PowerPC型號中）是在Forth中編寫的。

請參見：http://osxbook.com/book/bonus/ancient/whatismacosx/arch_boot.html

Answer 6

格雷戈寫的後記是龐大的例子。

由於語言運行時的平凡性質，連續語言隨處可見，這很自然。這是許多固件的最愛：我第一次在Sun Sparcstation的引導裝載程序中遇到Forth「in the flesh」。它支持OLPC的固件。

Ocaml的父母Caml基於將函數式編程的語義實現爲分類抽象機器（Caml中的CAM）。

Bibtex使用拼接語言來編譯樣式文件。

Answer 7

Eserv和nncron寫在SP-Forth。

Answer 8

Bitcoin的協議，和大多數其他cryptocoins的，對交易的確認使用pubkey scripts and signature scripts：

PUBKEY腳本和簽名腳本合併secp256k1 pubkeys和簽名與條件邏輯，創造一個可編程的授權機制。

這些腳本written in a concatenative language：

腳本語言是故意設計是無狀態的，而不是圖靈完整一個第四類基於堆棧的語言。無狀態確保了一旦將事務添加到塊鏈中，就沒有任何條件使其永久不可用。圖靈不完整性（特別是缺少循環或gotos）使得腳本語言不夠靈活並且更具可預測性，極大地簡化了安全模型。