道(Dao)语言规范说明1.1 (草稿: Alpha 1)

Label: ♦chinese(中文)

[86] 道(Dao)语言规范说明1.1 (草稿: Alpha 1) - 简介

Comment

fu created at Thursday, 2009-03-19, 23:18:26

fu modified at Monday, 2009-06-08, 08:22:55

0 Replies, 2204 Hits

道(Dao)语言规范说明1.1 (草稿: Alpha 1) - 简介

简介
词法结构
变量，值和类型
表达式
程序语句
函数
类
模块和名字空间

1 简介

Top

标记
嵌入文档的测试代码

本文档将提供Dao语言的详细规范说明，主要目的有两方面： (1) 提供针对Dao语言下一版本(1.1)开发的指导性说明； (2) 提供关键的资料以供想更深入了解Dao语言的人参考。

因此，此规范说明并不与当前的道语言发布完全一致，某些地方可能会作些修正或添加新的特性，它们将被实现在下一版本里。不过，文档将会在这些地方作特别说明。另外，标题里的额外版本标记草稿: Alpha 1 与道语言的版本完全没有关系，它仅仅表示本文档的准备情况。

1.1 标记

Top

语法定义: A ::= B, A 被定义为 B, 这里B可以是一句描述性的话或下列单项定义的组合，

描述式: " 描述 "
可替换式: S | Y
可选择式: [ S ]
归组式: ( S )
可重复式: S* 或 S +
- * : 零次或多次;
- + : 一次或多次;

例子：

( S | Y )+ 表示所有这些可能的序列: S; Y; SY; YS; SSY ...;
S ( Y | N ) T 表示: SYT 或 SNT;

有时下面的标记也被使用（主要是在定义字符类时）：

带条件的定义: A ::= S & C(S)
A被定义为使得条件C(S)为真的S。

1.2 嵌入文档的测试代码

Top

一些测试代码块将被嵌入到此规范说明文档里。这些代码块将使用SDML标记名 demo 标记，并可包含代码的期望输出。这些期望输出与代码由 [[output]] 分隔。当此文档由能处理此文档格式的工具处理时，这些嵌入的代码将被执行，其输出将与其期望输出相比较，以检查该代码块是否通过测试。代码嵌入方式，

<demo dao>
有输出的代码
[[output]]
期望的正确输出
</demo>

Comments

道(Dao)语言规范说明1.1 (草稿: Alpha 1) - 简介

1 简介

1.1 标记

1.2 嵌入文档的测试代码

2 词法结构

3 变量，值和类型

4 表达式

5 程序语句

6 函数

7 类

8 模块和名字空间

Change picture: