27、Noema：用于脚本化可版本化超文本的元语言

Noema：用于脚本化可版本化超文本的元语言

1. 引言

在超文本创作领域，存在着一个挑战，即需要在ISE（Intensional Scripting Environment）的完整编程功能和IHTML（Intensional HTML）更类似标记集成的优势之间找到一个平衡点。解决方案应允许作者创建自定义结构（IHTML中缺失的），而无需脱离创作语言（不像IML需要通过TROFF退回到ISE）。通过考虑在标记级别添加功能所能获得的收益，我们可以找到这样的解决方案。本文将介绍一种可能的解决方案：Noema。

Noema是一种超文本元语言，它在描述内涵超文本时对IHTML进行了泛化。Noema背后的三个主要思想是：超文本和版本的统一、使用可版本化的类似XML的实体（以及超文本文件片段中的版本更改）以及使用隐式维度替代状态。

2. Noema的设计目标

我们设计Noema的目标是创建一种元语言（不一定是HTML或IHTML的超集），它能够实现我们所需的增强版本处理功能：
- 以超文本的方式处理版本
- 以可参数化的方式重用文本
- 引入某种状态概念
- 尽可能对作者友好，采用标记而非命令式编程

3. Noema的核心概念

3.1 版本即超文本

在IML/ISE中，版本空间目前已经相当先进，支持嵌套。其抽象语法如下（V是版本的非终结符，s是任意字符串）：

V → ϵ | s : V | V + V

同时假设s等于版本s : ϵ。这种语