连接编程语言的真实世界使用

时间:2009-11-18 09:59:35

标签: forth factor-lang concatenative-language

concatenative languagesForthFactorJoy中完成了哪些实际项目?

8 个答案:

答案 0 :(得分:13)

factorcode.orgconcatenative.orgtinyvid.tvFurnace提供支持,这是一个因素网络服务器和框架。

答案 1 :(得分:11)

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

答案 2 :(得分:5)

有一些有点过时但非常酷的Quartus Forth for Palm允许在Palm设备上进行完整的编译应用程序开发(在这种情况下,作为极简主义语言的Forth工作得很好)。他们的home page列出了几个Palm应用程序。

此FIG页面有一个list of mostly-embedded projects,其中包含NASA对Forth非常酷的用法的引用。

1991年,我在昆士兰举行的Apple会议上遇到了一个人,他在零售MacForth编写了道路规划申请书。

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

我怀疑PowerMOPS(Neon的继任者)可能会躲避拼接的定义,因为它的重要性在于添加面向对象,这意味着实例。

答案 3 :(得分:4)

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

答案 4 :(得分:4)

格雷格写道,后记是一个巨大的例子。

由于语言运行时的微不足道的特性,连接语言很自然地随处可见。它是许多固件的最爱:我首先在Sun Sparcstation的引导程序中遇到了“在肉体中”的Forth。它为OLPC的固件供电。

Ocaml的父母,Caml基于将函数式编程的语义理解为分类抽象机器(Caml中的CAM)。

Bibtex使用连接语言来编译样式文件。

答案 5 :(得分:3)

Mac上的部分固件(至少在较旧的PowerPC型号中)是用Forth编写的。

请参阅:http://osxbook.com/book/bonus/ancient/whatismacosx/arch_boot.html

答案 6 :(得分:2)

Eservnncron写在SP-Forth

答案 7 :(得分:2)

比特币协议和大多数其他加密币使用pubkey scripts and signature scripts来验证交易:

  

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

这些脚本是written in a concatenative language

  

脚本语言是一种类似于Forth的基于堆栈的语言,故意设计为无状态而不是图灵完整。无状态确保一旦将事务添加到块链中,就没有条件使其永久不可连接。图灵不完整性(特别是缺乏循环或结果)使得脚本语言的灵活性和可预测性降低,大大简化了安全模型。