文件名称：forward:基于堆栈的编程语言
文件大小：50KB
文件格式：ZIP
更新时间：2024-08-23 06:53:36
concatenative forth formal-methods concatenative-language utterances
forward：一种基于堆栈的编程语言。 一种基于堆栈的编程语言。 足够强大，简单，正确。 文档： ----- 使命 创建一种简单到可以在一周内完全理解的编程语言，但具有足够强大的思维模型，以允许其在不同的问题域中有效使用和应用。 想象 由于它的简单性，它在其问题域中得到了广泛使用，保留在后台，不碍事，随时可以使用。 像贝壳一样无处不在，但和手术刀一样有效，而不是 ！ 价值观 模型到问题域的“正确”心理映射。 （一旦学会，）它应该远离，你应该专注于解决你的问题，而不是修复你的工具。 简单，通过去除不必要的东西。 成为 ，通过选择解开和组合概念而不是交织它们。 “简单正确”，易于使用的工具来正式指定和验证实现 快（足够），没有人喜欢钝、钝的工具。 让它锋利，让它快速。 目录 4. 语义 4.1. 非正式的外延定义 4.2. 正式定义 参考 1. 行情 来自法国作家、诗人和飞行
【文件预览】：
forward-main
----knowledge-base.adoc(13KB)
----.github()
--------FUNDING.yml(65B)
--------ISSUE_TEMPLATE()
--------workflows()
----Arithmetic.adoc(3KB)
----README.adoc(7KB)
----Parser.adoc(418B)
----Evaluation.adoc(589B)
----favicon()
--------android-chrome-192x192.png(5KB)
--------apple-touch-icon.png(5KB)
--------about.txt(322B)
--------favicon-32x32.png(655B)
--------favicon-16x16.png(336B)
--------android-chrome-512x512.png(15KB)
--------site.webmanifest(264B)
--------favicon.ico(15KB)
----blog()
--------5-hoare-logic.adoc(2KB)
--------3-grammar-subsets.adoc(4KB)
--------index.adoc(490B)
--------4-arity.adoc(1KB)
--------2.1-incomplete-spec.adoc(3KB)
--------2-composing-grammars.adoc(5KB)
--------1-test-comments.adoc(258B)
--------docinfo-footer.html(254B)
----Grammar.adoc(4KB)