在concatenative languages,Forth,Factor等Joy中完成了哪些实际项目?
答案 0 :(得分:13)
factorcode.org,concatenative.org和tinyvid.tv由Furnace提供支持,这是一个因素网络服务器和框架。
答案 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)
答案 7 :(得分:2)
比特币协议和大多数其他加密币使用pubkey scripts and signature scripts来验证交易:
Pubkey脚本和签名脚本将secp256k1 pubkeys和签名与条件逻辑结合在一起,创建了一个可编程的授权机制。
这些脚本是written in a concatenative language:
脚本语言是一种类似于Forth的基于堆栈的语言,故意设计为无状态而不是图灵完整。无状态确保一旦将事务添加到块链中,就没有条件使其永久不可连接。图灵不完整性(特别是缺乏循环或结果)使得脚本语言的灵活性和可预测性降低,大大简化了安全模型。