写在前面
这里是Ozelot。一个正在学习编程，希望和各位大佬一起交流学习的大学生。这是我关于编程语言Cesno的设计方案，欢迎大家评论交流!
提示: 最终设计尚未决定，可能还有很多设计上的不足需要优化，故内容可能会发生变动。因为没法不加标签，我不得不打了“程序员”标签。希望没有给大家造成困扰。
注意: 因为Cesno并未制作完成，这里只记录Cesno的语法规范。正因如此，代码部分的高亮可能不能保证每一次都正确显示。如果影响了阅读，我感到十分抱歉!
变量的基础
这里将要写有关于变量的基础知识。
标识符
标识符是编程语言中不可或缺的一个概念，它代表了一个“东西”的名字(这个东西可以是变量、函数、类……)。
Cesno的标识符和其他语言类似。标识符中可以有数字、英语字母、“$”符号以及“_”符号，但数字不能出现在标识符的第一个字符。标识符没有长度限制，也允许存在除了一些特殊字符和数字外的其他字符(因为Cesno支持UTF-8编码格式)。但为了可读性、简易性等等原因，标识符不推荐过长(比如超过了64个字符，或任何让人看了摸不着头脑的长度)的名字，也不推荐使用ASCII字符外的其他字符做标识符。
| 起始字符 | 起始字符之后 | |
|---|---|---|
| 数字 | × | 〇 |
| 英语字母 | 〇 | 〇 |
| "$"、"_" | 〇 | 〇 |
类型
类型是一种有关于数据的一种“标准”——它可以用来区分数据的种类，并且方便我们存入和读取它们。
如下是在Cesno中常用的几种类型:
| 类型名(英文) | 类型名(中文) | 简要解释 |
|---|---|---|
int |
整数型(或“整型”) | 存储-2147483648至2147483647的整数 |
float |
浮点型 | 遵循IEEE标准中的双精度浮动小数点数 |
bool |
布尔型(或“真伪型”) | 存储一个真值(true)或一个伪值(false) |
char |
字符型 | 存储一个以UTF-8方式编码的字符 |
string |
字符串型 | 存储一系列以UTF-8方式编码的字符 |
object |
对象型 | 所有具体类型的基类 |
下表中所列是用来标识类型中的特殊状况。它们不能拿来初始化一个变量。
| 类型名(英文) | 类型名(中文) | 简要解释 |
|---|---|---|
void |
无类型(或“虚型”) | 用来标识一个函数没有返回值 |
any |
任意型(或“动态类型”) | 用来标识无固定类型 |
never |
空位型(或“空型”) | 用来标识绝对不会出现类型(void是实际无返回值，而never更倾向于逻辑层面不可能有类型信息) |
如想要参阅更多类型或有关于类型的信息，请移至Cesno 类型(链接的PLACEHOLDER)。
声明变量
声明变量需要先写出类型的名字，其次写上变量的名字(变量名遵循标识符)。比如:
int a;这完成了对一个整数型变量a的声明。声明变量时也可以同时给予初始值，就像这样:
int b = 10;Cesno常用类型的声明和赋值如下:
int x = 100;
float d = 0.5;
bool t = true;
char c = 'C';
string s = "Hello, everyone.";
object o = 20; // 事实上，object类变量可以接受任何具体类型的赋值
// 比如上面的类型都可以填入object。
如果要声明的变量没有固定的类型(即“动态类型”)，可以采用关键字var。这时，Cesno不会在赋值时检查类型是否匹配。动态类型有时可以提供方便，所以请适当地使用它。Cesno的动态类型并不意味着变量“没有类型”。事实上，变量类型一直是静态的，只不过表现为动态。
var x = 3; // 此时，x的类型由字面量 3 推导为 int 型
x += 7; // x现在等于10，这种写法正确的
x = "str"; // x现在为 string 型，由字面量 "str" 推导而来
x = 1 / x; // 这会报错。Cesno在此时能确定 x 在这里就是 string 型，
// 而除号不适用于 int 与 string 一起运算。
// 但如果程序流程包含了选择，Cesno便不能确定采用动态类型的变量的具体类型，
// 而这可能会导致潜在的错误。所以请勿滥用 var 来定义变量。销毁变量
当你不需要一个变量继续存在时，你可以销毁它们来节约你的内存。使用操作符delete可以轻松取消掉变量的声明，并释放内存空间。比如这样:
int a = 10;
delete a;当然你也可以使用delete一次性释放多个变量，而且你不需要区分它们是否是数组:
int a = 20;
int[] b = {30, 50, 100, 200};
delete a, b;当一个使用了多态的变量将要被销毁时，无需强制转换类型:
object x = 10;
delete x; // 正确，会释放掉 int 大小的空间，并删除 x 的声明