Fuxi程序设计语言规范

(草案0.1)

目   录

• 第一章 引论

  • §1.1 Hello, World!

    • §1.1.1 Fuxi程序的基本结构

    • §1.1.2 Fuxi程序的执行入口

    • §1.1.3 Fuxi平台

  • §1.2 文法系统

    • §1.2.1 上下文无关文法

    • §1.2.2 语法符号

    • §1.2.3 词法结构

    • §1.2.4 句法结构

  • §1.3 参考文献

• 第二章 词法结构

  • §2.1 源程序输入流

    • §2.1.1 Unicode

    • §2.1.2 词法转换

    • §2.1.3 Unicode转义系列

    • §2.1.4 行结束符

  • §2.2 符号化过程

    • §2.2.1 空白

    • §2.2.2 注释

  • §2.3 词法符号

    • §2.3.1 关键字

    • §2.3.2 标识符

    • §2.3.3 文字量

    • §2.3.4 分隔符

    • §2.3.5 运算符

• 第三章 类型与变量

  • §3.1 类型的种类和值

  • §3.2 基本类型

    • §3.2.1 整型

    • §3.2.2 浮点型

    • §3.2.3 字符型

    • §3.2.4 布尔型

  • §3.3 引用类型

    • §3.3.1 Object类型

    • §3.3.2 class类型

    • §3.3.3 接口类型

    • §3.3.4 表类型

    • §3.3.5 数组类型

    • §3.3.6 代理类型

  • §3.4 变量

    • §3.4.1 变量的赋值与约束

    • §3.4.2 变量声明

    • §3.4.3 变量计值

    • §3.4.4 变量状态的测试

  • §3.5 类型转换

    • §3.5.1 自动转换

    • §3.5.2 强制转换

• 第四章 模式与规则

  • §4.1 模式

    • §4.1.1 模式参量

    • §4.1.2 模式签名

    • §4.1.3 模式变量

  • §4.2 规则

  • §4.3 模式的匹配与合一

• 第五章 类与对象

  • §5.1 类声明

    • §5.1.1 类的封装性

    • §5.1.2 类的继承性

    • §5.1.3 类的风格

    • §5.1.4 抽象类和终结类

    • §5.1.5 本地实现类

    • §5.1.6 主动类与Fuxi程序的执行

    • §5.1.7 可移动类

  • §5.2 类成员

    • §5.2.1 成员的封装性

    • §5.2.2 静态成员

    • §5.2.3 常量

  • §5.3 字段

    • §5.3.1 字段的类型

    • §5.3.2 字段的风格

    • §5.3.3 字段的指称及初始化

    • §5.3.4 字段的约束体

  • §5.4 构造函数

    • §5.4.1 构造函数的调用

    • §5.4.2 静态构造函数

    • §5.4.3 缺省构造函数

    • §5.4.4 私有构造函数

  • §5.5 方法

    • §5.5.1 方法的原型

    • §5.5.2 方法的重载

    • §5.5.3 运算符函数

  • §5.6 对象

    • §5.6.1 引用字段与子对象

    • §5.6.2 对象的成员初始化

  • §5.7 类型转换

    • §5.7.1 基本类型到引用类型的转换

    • §5.7.2 引用类型到基本类型的转换

• 第六章 接 口

  • §6.1 接口声明

  • §6.2 接口的成员

    • §6.2.1 常量成员

    • §6.2.2 方法成员

  • §6.3 接口的实现

    • §6.3.1 接口映射

    • §6.3.2 接口实现的继承

    • §6.3.3 接口的重实现