串联编程语言的实际使用

发布于 2024-08-11 08:09:58 字数 411 浏览 10 评论 0原文

有哪些使用连接语言完成的项目,例如Forth因素欢乐等?

What are some real-world projects done in concatenative languages like Forth, Factor, Joy, etc.?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(8

小傻瓜 2024-08-18 08:09:58

factorcode.org连接。 orgtinyvid.tvFurnace,Factor Web 服务器和框架。

factorcode.org, concatenative.org and tinyvid.tv are powered by Furnace, a Factor web server and framework.

浅忆流年 2024-08-18 08:09:58

PostScript 是连接性的,显然 PostScript 有大量的应用。它只是不是一种通用编程语言。

PostScript is concatenative, and there's obviously a huge number of applications of PostScript. It's just not a general purpose programming language.

秋凉 2024-08-18 08:09:58

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

由于语言运行时的琐碎性质,连接语言很自然地随处出现。它是许多固件的最爱:我第一次在 Sun Sparcstation 的引导加载程序中“亲身”遇到 Forth。它为 OLPC 的固件提供支持。

Ocaml 的父级 Caml 基于将函数式编程的语义实现为分类抽象机(Caml 中的 CAM)。

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

As Greg wrote, postscript is the mammoth example.

Concatenative languages pop up everywhere, quite naturally, because of the trivial nature of the language runtime. It's a favourite for many firmwares: I first encountered Forth "in the flesh" in the bootloader for a Sun Sparcstation. It powers the firmware for the OLPC.

Ocaml's parent, Caml was based on realising the semantics of functional programming as the Categorical Abstract Machine (the CAM in Caml).

Bibtex uses a concatenative language to compile style files.

蓝眸 2024-08-18 08:09:58

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

此图页面有一个大多数嵌入式项目的列表,其中包括对非常酷的使用的引用由 NASA 转发。

大约 1991 年,我在昆士兰州的一次苹果会议上遇到了一个人,他零售了一个用 MacForth 编写的道路规划应用程序。

Christopher Diggins 正在谈论他的 Cat 语言在 Microsoft 内部用于帮助优化编译器,但是我不知道那是否会去任何地方。

我怀疑 PowerMOPS (Neon 的后继者)可能会逃避连接的定义,因为它的大问题是添加面向对象,这意味着实例。

There is the somewhat-obsolete but very cool Quartus Forth for Palm which allowed full compiled application development on the Palm device (Forth as a minimalist language works rather well in those circumstances). Their home page lists several Palm apps.

This FIG page has a list of mostly-embedded projects including a reference to the very cool use of Forth by NASA.

I met a guy at an Apple conference in Queensland back in about 1991 who had retailed a road planning application written in MacForth.

Christopher Diggins was talking about his Cat language being used inside Microsoft to help optimise compilers but I don't know if that went anywhere.

I suspect PowerMOPS (the successor to Neon) may elude the definition of concatenative because its big deal is adding object-orientation, which implies instances.

宫墨修音 2024-08-18 08:09:58

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

Take a look at FORTH Inc, They list several projects that they and their customers did, using their FORTH.

琉璃梦幻 2024-08-18 08:09:58

Eservnncron 是用 SP-Forth 编写的。

Eserv and nncron are written in SP-Forth.

陪你到最终 2024-08-18 08:09:58

比特币协议和大多数其他加密货币都使用 pubkey用于验证交易的脚本和签名脚本

公钥脚本和签名脚本将 secp256k1 公钥和签名与条件逻辑相结合,创建可编程的授权机制。

这些脚本用连接语言编写

脚本语言是一种类似于 Forth 的基于堆栈的语言,故意设计为无状态且非图灵完备。无状态性确保一旦交易被添加到区块链中,就不会出现任何导致其永久无法花费的情况。图灵不完备性(具体来说,缺乏循环或 goto)使脚本语言不太灵活且更可预测,从而大大简化了安全模型。

Bitcoin protocol, and most of the other cryptocoins, uses pubkey scripts and signature scripts for validation of transactions:

Pubkey scripts and signature scripts combine secp256k1 pubkeys and signatures with conditional logic, creating a programable authorization mechanism.

These scripts are written in a concatenative language:

The script language is a Forth-like stack-based language deliberately designed to be stateless and not Turing complete. Statelessness ensures that once a transaction is added to the block chain, there is no condition which renders it permanently unspendable. Turing-incompleteness (specifically, a lack of loops or gotos) makes the script language less flexible and more predictable, greatly simplifying the security model.

这样的小城市 2024-08-18 08:09:58

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

请参阅:链接< /a>

Part of the firmware on Macs (at least in the older PowerPC models) was written in Forth.

See: Link

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文