- 博客(36)
- 收藏
- 关注
RSS订阅原创 触品科技 Fuxi 变量的赋值与约束
Fuxi中赋值与约束是两个重要的概念。赋值(Assignment)是将某一特定的数值存放到变量所代表的一个特定的存储位置的过程。和C++、JAVA等语言不同的是，Fuxi的赋值是一个bool型函数，如果赋值成功，返回true，否则返回false。程序对变量进行赋值时，首先要检查该变量能否被赋值。一个变量能够被赋值的条件是：变量是自由变量或引用变量，同时待赋的值与变量有相同或兼容的类型。我们不能对...
2019-08-30 10:48:21
139
原创 触品科技 Fuxi 变量
我们在编制程序来解决问题时，必须对一些数值进行操作。而一个问题的不同特例可能要用到不同的值。如果我们在程序中用一个特定的值解决问题的一个特例的话，当需要解决另一个特例时，就不得不修改程序里的那些特定的值。由于上述原因，大多数程序都编制成能处理各种特例的通用程序。程序设计语言为了能支持通用程序设计，就必须允许程序员用变量名来代替任何数值。这样，在程序中可以用变量名来代替特定的数值，而在处理不同特例时...
2019-08-30 10:47:05
103
原创 触品科技 Fuxi 代理类型
Fuxi语言是面向对象的程序设计语言，Fuxi中函数总是某个对象或类的方法。同时Fuxi又是一个函数型语言，函数型语言经常要求可以以函数为参数形成新的函数，这种以函数为参数的函数称为高阶函数(High-order Functions)。为了能够向函数传递一个函数作为参数，Fuxi提供了代理(delegate)类型，它相当于C++中函数指针。代理类型有两种情况，一种是引用对象的一个静态方法，另一种...
2019-08-30 10:46:12
124
原创 触品科技 Fuxi 数组类型
数组(Array)是一个特殊的表，元素的个数是预定的。当数组被创建时，数组中的元素也同时创建。和表不同，数组的大小是固定的，不能插入或删除元素。...
2019-08-30 10:45:10
105
原创 触品科技 Fuxi 表类型
表(List)是Verga的一个重要的数据结构。表是某一数据类型的数据的集合。表可以是空的，也可以通过insert方法向表中的某一位置插入一个元素，也可以通过delete方法删除表中的某一元素；可以通过下标运算或take函数访问表中的元素，通过scan函数来枚举表中的元素。...
2019-08-30 10:44:08
89
原创 触品科技 Fuxi 接口类型
接口(interface)其实就是一种大家共同遵守的协议。实现某个接口的类必须遵守此协议。一个接口可以派生于多个接口，同时，一个类也可以实现多个接口。接口将在第7中进行详细定义。...
2019-08-30 10:43:15
106
原创 触品科技 Fuxi class类型
类(class)是一种数据结构，它包括属性(常量、字段)和方法(函数、子句、触发器)。类支持继承。在Fuxi中类也是一个对象，称为类对象(Class Object)，它是某一类型对象的模板(Template)。类对象包含CreateObject和GetTypeInfo两个方法，分别用于创建一个新对象和获取该类的类型信息。类类型将在第5章中详细介绍，这里我们给出一个类的例子。import fuxi...
2019-08-27 09:48:11
115
原创 触品科技 Fuxi Object类型
对象(Object)类型是所有其它类型的基类。Fuxi中的所有其它类型都是直接或间接地从Object类型派生出来的。Fuxi中Object对应于抽象机中的GOBJ。Object类型定义在Fuxi的基本类库lang中。...
2019-08-27 09:46:58
102
原创 触品科技 Fuxi 引用类型
引用类型(Reference Type)表示对某一数据对象的引用。Fuxi中基本类型所引入的数据对象通常被放置在执行堆栈(Stack)中，而引用类型所引入的数据对象总是存放在堆(Heap)里，而执行堆栈中保存该对象的引用。...
2019-08-27 09:45:35
108
原创 触品科技 Fuxi 布尔型
布尔类型是一种逻辑类型，只包含两个值true和false。true和false是两个保留字，分别用来表示真和假。对布尔型数据进行的操作称为逻辑操作，它们包括：逻辑与(也称析取)、逻辑或(也称合取)和逻辑非。布尔型数据及其逻辑操作是Fuxi规则的基本成分。...
2019-08-27 09:44:15
100
原创 触品科技 Fuxi 字符型
Fuxi的字符采用Unicode字符集，类型长度为16比特位，即两个字节。Unicode字符集包括汉字、希腊字母、拉丁字母、阿拉伯文、数学符号等几乎所有的语言符号。操作符==用来比较字符的相等，操作符++是找某字符在Unicode集中的下一个字符。...
2019-08-27 09:43:00
119
原创 触品科技 Fuxi 浮点型
浮点类型用来近似表示数学上的实数，Fuxi中浮点根据其数据精度分为单精度浮点数(float)和双精度浮点数(double)两种。它们的数据长度及数值范围在上表的第9和第10行列出。Fuxi中经常使用float类型，其处理速度快、占用空间小。当出现以下情况时应当使用double类型：当处理的数值小于等于1.0e-38或大于等于1.0e+38时；当处理高精度的数据时；因高级CPU的优化，其d...
2019-08-27 09:41:43
97
原创 触品科技 Fuxi 整型
整型又分为有符号整型(Signed integral type)和无符号整型(Unsigned integral type)。其中有符号整型包括：byte、short、int和long，它们分别表示8位、16位、32位和64位带符号的二进值补码整数；而无符号整型包括：utype、ushort、uint和ulong，分别表示8位、16位、32位和64位无符号的二进制补码整数。整型数值的范围如下表所...
2019-08-26 13:45:35
106
原创 触品科技 Fuxi 基本类型
基本类型是Fuxi语言预定义的，并且由关键字命名的类型。<基本类型>定义为：<数值类型>boolchar<数值类型>定义为：<整型><浮点型><整型>定义为：<有符号整型><无符号整型><有符号整型>定义为以下关键字之一：byte short int long<...
2019-08-26 13:43:55
131
原创 触品科技 Fuxi 类型的种类和值
Fuxi语言包括两种数据类型：基本类型和引用类型；同时也具有这两种类型的值，即基本数值和引用值，他们可以存储在变量中，作为参数进行传递，作为方法的返回值，以及作为运算符的运算参量等。<类型>定义为：<基本类型><引用类型><子类型>类型定义了该类型的数据的取值范围，而该范围的一个子集称为类型的一个子类型。子类型仅在变量声明中使用，对变量的取...
2019-08-26 13:42:16
92
原创 触品科技 Fuxi 运算符
以下35个符号为Fuxi的运算符(Operator)。<运算符>定义为以下之一：/ %~ & | ^<< >> >>>&& || != < <= == !=:= ++ –+= -= *= /= %=~~ &= |= ^=<<= >>=...
2019-08-26 13:40:30
95
原创 触品科技 Fuxi 分隔符
以下17个由ASCII字符组成符号或符号系列，称为Fuxi的分隔符(Separator)。<分隔符>定义为以下之一：, . : ; … { } [ ] ( ) = <- -> # @
2019-08-26 13:38:49
126
原创 触品科技 Fuxi 空类型量
空类型(Null type)只有一个值，即由关键字null表示的空引用(Null reference)。空类型量(Null literal)也总是空类型。<空类型量>定义为：null
2019-08-26 13:36:51
94
原创 触品科技 Fuxi 字符和字符串量的转义系列
字符或字符串量的转义系列允许在字符或字符串量中使用ASCII单引号、双引号或反斜杠以及一些非图形(nongraphic)字符。<转义系列>定义为以下之一：\b /* \u0008 退格BS /\t / \u0009 水平制表符 HT /\n / \u000a 换行 LF /\f / \u000c 进表 FF /\r / \u000d 回车 CR /" / \u0022 双...
2019-08-19 14:56:36
106
原创 触品科技 Fuxi 字符串量
字符串量是由ASCII双引号括起来的零个或多个字符组成的系列。其中每个字符都可以采用转义系列来表示。字符串量的类型总是String，字符串量也总是表示一个对String的实例的引用。<字符串量>定义为：“{<字符串字符>}”<字符串字符>定义为：非 " 和 \ 的输入字符<转移系列>按§2.1.4的定义ASCII字符CR和LF均不能作为...
2019-08-19 14:55:07
95
原创 触品科技 Fuxi 字符量
字符量是由ASCII单引号(’，\u0027)括起来的字符或转义系列。字符量总是字符型数据。<字符量>定义为：´<单字符>´ 或´<转义系列>´<单字符>定义为：非 ´ 和 \ 的输入字符按§2.1.4的定义ASCII字符CR和LF均不能作为输入字符，它们是行结束符。以下情况均视为语法错误：在<单字符>后不是 ´；<...
2019-08-19 14:53:32
89
原创 触品科技 Fuxi 布尔量
bool型有两个值，分别由关键字true和false来表示。布尔量总是bool型数据。<布尔量>定义为以下之一：true false
2019-08-19 14:51:57
316
原创 触品科技 Fuxi 浮点量
浮点量是由以下部分组成的：整数部分、小数点、分数部分、指数部分和浮点后缀。指数部分(如果有的话)，是由ASCII字母E或e后面跟一个带符号的整数构成。一个最简单的浮点量是由一个数字(在整数部分或分数部分)和以下之一构成：小数点、指数或者浮点后缀；所有其它部分均为可选项。如果浮点量的后缀是ASCII字符F或f，其类型float；否则为double型(其后可选带后缀D或d)。<浮点量>...
2019-08-19 14:50:22
151
原创 触品科技 Fuxi 整数量
整数量可以表示为十进制(Decimal)、16进制(Hexadecimal)和8进制(Octal)数。<整数量>定义为：<十进制量> 或<十六进制量> 或<八进制量><十进制量>定义为：<十进制数值>[<整型后缀>]<十六进制量>定义为：<十六进制数值>[<整型后缀&g...
2019-08-19 14:47:32
119
原创 Fuxi 文字量
文字量(Literals)是基本类型、字符串以及空引用类型的值的文字表示。<文字量>定义如下：<整数量> 或<浮点量> 或<布尔量> 或<字符量> 或<字符串量> 或<空类型量...
2019-08-16 11:37:03
245
原创 Fuxi 标识符
标识符(Identifier)是以字母开头，由任意多个字母、数字组成的、而非关键字的字符系列。标识符可以形式地定义如下：<标识符>定义为：不是<关键字>的<标识系列><标识系列>定义为：<字母>{<字母或数字>}<字母>定义为：是Fuxi字母的Unicode字符<字母或数字>定义为：是F...
2019-08-16 11:35:49
136
原创 Fuxi 关键字
以下由ASCII字符组成的字符系列，被系统保留作关键字用，它们不能作为标识符来使用。<关键字>是下列之一：abstract active base bool bytecase char class const defaultdelete double else enum falsefinal float if import ininclude insert int inte...
2019-08-16 11:34:14
164
原创 Fuxi 词法符号
词法符号(Tokens)是词法分析的输出，同时也是句法分析的输入。词法符号是构成句法规则的结点符号(Terminal Symbols)。词法符号可以通过以下词法规则来定义：<词法符号>定义为：<标识符> 或<关键字> 或<文字量> 或<分隔符> 或<运算符>...
2019-08-16 11:32:52
142
原创 Fuxi注释
注释有以下两种形式：/* 注释 */// 注释第一种为传统注释形式，在ASCII字符/和/之间的所有内容将被忽略掉(和C、C++相同)；第二种为行末注释形式，在ASCII字符//和行结束符之间的所有内容将被忽略掉(和C++相同)。注释可以通过以下规则来加于形式化描述：<注释>定义为：<传统注释> 或<行末注释><传统注释>定义为：/...
2019-08-16 11:30:34
122
原创 Fuxi空白
空白空白(White space)是有ASCII空格符(Space，\u0020)、水平制表符(Horizontal Tab，\u0029)、进表符(Form Feed，\u002c)以及行结束符组成。<空白>定义为：ASCII SP字符，即空格符 或ASCII HT字符，即水平制表符 或ASCII FF字符，即进表符 或<行结束符>...
2019-08-16 11:28:08
258
原创 Fuxi 符号化过程
原始Unicode字符流经过转义处理和行识别后，形成由输入字符和行结束符组成的字符流。这种字符流在剔除空白和注释后，被分析成词法符号(Token)，这一过程称为符号化(Tokenization)。这些词法符号将进一步作为句法分析的输入。我们通过以下词法规则来定义符号化过程。<输入符号>定义为：{<词法元素>}[<中断符>]<词法元素>定义为：...
2019-08-09 15:05:28
185
原创 Fuxi行结束符
编译器通过识别行结束符(Line Terminator)来对程序文本进行分行。行结束符是编译器确定字符的在文本中的行号的依据；同时行结束符也是//形式的注释结束的标记。行结束符号定义如下：<行结束符号>：一个ASCII码的LF字符，也称“换行”（\u000A） 或一个ASCII码的CR字符，也称“回车”（\u000D） 或一个ASCII码的CR字符紧跟一个ASCII码的LF字符...
2019-08-09 15:03:59
141
原创 Fuxi Unicode转义系列
编译器对原始Unicode输入流进行转换，将原始Unicode输入字符转换为词法输入元素。原始的Unicode输入字符定义为：<Unicode输入字符>：<Unicode字符> 或<Unicode转义系列><Unicode转义系列>定义为：<Unicode标记><16进制数字><16进制数字><16...
2019-08-09 15:02:06
144
原创 Fuxi词法转换
编译器通过以下的词法转换(Lexical Translation)步骤，将上述的原始Unicode字符流转换成各种词法符号(Tokens)。转义处理(Escape Processing)：将原始Unicode字符流中的Unicode转义系列转换成对应的Unicode字符。Unicode转义系列的形式为\uxxxx，其中xxxx为4个16进制数字，表示编码为xxxx的Unicode字符。该转换步骤...
2019-08-09 14:59:45
123
原创 Fuxi Unicode
Unicode是一种国际字符的编码标准，Fuxi源程序输入流就是由Unicode字符编码组成的数据流。编译器将依据Fuxi的词法定义，对这个输入流进行分析，将其转换成一个个的词法符号。关于Unicode的材料可以在以下网站获取：http://www.unicode.orgFuxi语言采用Unicode的4.0版本，并且Fuxi平台将跟踪Unicode规范的演变而不断升级。除了注释、标识符、字...
2019-08-09 14:57:35
350
原创 Fuxi源程序输入流
源程序输入流本规范并不试图对源程序文件的编码形式或采用的源程序编辑器进行规定，而是假定Fuxi的实现(Implementation)能够把采用不同编码形式的Fuxi源程序文件转换成由Unicode字符组成的源程序输入流(Source Code Input Stream)，也称为原始Unicode字符流(Raw Unicode Character Stream)，并以此作为词法分析的输入，开始编译...
2019-08-09 14:52:34
171
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人