docs: 增加 Snow-Lang-Syntax 文档

docs/Snow-Lang-Syntax/Snow-Lang-Syntax.md

@@ -0,0 +1,260 @@
+# Snow-Lang 语法
+
+## 快速入门
+
+一个简单的 snow 程序
+
+```snow
+module: Main
+    function: main
+        return_type: int
+        body:
+
+            return 1 + 1
+        end body
+    end function
+end module
+```
+
+## 基础
+
+### 注释
+```snow
+// 单行注释
+
+/*
+    多行注释
+    多行注释
+    多行注释
+*/
+```
+
+### 数据类型
+
+bool 类型：
+
+两种值：`true` 和 `false`
+
+
+
+
+数值类型：
+
+| Number   | keyword |
+|----------|---------|
+| byte8    | byte    |
+| short16  | short   |
+| int32    | int     |
+| long64   | long    |
+| float32  | float   |
+| double64 | double  |
+
+默认整数的类型为 int，浮点数的类型为 double。
+
+数值字面量后缀：
+
+| 数值字面量后缀 | 例子 |
+|---------|----|
+| b、B     | 7b |
+| s、S     | 7s |
+| i、I     | 7i |
+| l、L     | 7l |
+| f、F     | 7f |
+| d、D     | 7d |
+
+
+### 变量
+定义变量的形式如下，中括号表示可选：
+
+```snow
+declare name: type [= initial_value]
+```
+
+其中 `name` 是变量名，`type` 是变量类型，`initial_value` 是初始值
+
+例：
+
+```snow
+declare x: int
+declare y: long = 123456789
+```
+
+读取变量值的方法，直接写变量的名字即可：
+```snow
+x
+```
+
+设置变量值的方法，先写变量名，后面接 `=`，最后写一个表达式即可：
+```snow
+x = 10
+```
+
+于是可以通过这种方式让变量参与计算并保存结果：
+```snow
+x = y + 1
+```
+读取 `y` 的值加 1 并保存到变量 `x`。
+
+变量只能定义在函数体中、函数参数列表、loop 初始化器中。
+
+## 流程控制
+### if
+if 语句的形式如下，else 是可选的：
+
+```snow
+if condition then
+    // 条件成立执行的代码
+else
+    // 以上条件不成立执行的代码
+end if
+```
+
+condition 可以是表达式（结果为 bool 类型）或者 bool 字面量
+
+例：
+
+```snow
+module: Main
+    function: main
+        return_type: int
+        body:
+            if 5 > 7 then
+                return 5
+            else
+                return 7
+            end if
+
+            return 0
+        end body
+    end function
+end module
+```
+
+### loop
+loop 语句的形式如下：
+```snow
+loop:
+    initializer:
+        // 循环开始前可声明循环变量，有且只能声明一个
+        declare i: int = 1
+    condition:
+        // 循环条件，成立则执行 body 的代码，
+        // 不成立则退出循环，有且只能写一条
+        i <= 100
+    update:
+        // 循环体执行完后执行的代码，有且只能写一条
+        i = i + 1
+    body:
+        // 每次执行的代码写这里
+    end body
+end loop
+```
+
+例子（求 1 ~ 100 的和）：
+```snow
+module: Main
+    function: main
+        return_type: int
+        body:
+            declare sum: int = 0
+            loop:
+                initializer:
+                    declare i: int = 1
+                condition:
+                    i <= 100
+                update:
+                    i = i + 1
+                body:
+                    sum = sum + i
+                end body
+            end loop
+
+            return sum
+        end body
+    end function
+end module
+```
+
+## 函数
+函数的形式如下：
+```snow
+function: add
+    parameter:
+        declare a: int
+        declare b: int
+    return_type: int
+    body:
+        return a + b
+    end body
+end function
+```
+其中 add 是函数名，parameter 下面是参数列表（可省略），与变量的定义类似，但是不允许赋初值，
+接着 return_type 设置返回值类型，最后的 body 为函数体。
+
+## 模块
+
+一个模块可以包含多个函数，
+通过 import 语句导入模块，
+snow 会自动将同名模块的函数合并。
+
+在我们最初的例子中，就用了 module 这个关键字。让我们回忆一下：
+
+```snow
+module: Main
+    function: main
+        return_type: int
+        body:
+
+            return 1 + 1
+        end body
+    end function
+end module
+```
+
+可以看到模块名是 Main，里面有函数 main。
+
+假如现在有一个模块 Math，代码如下：
+```snow
+// Math.snow
+module: Math
+    function: add
+        parameter:
+            declare a: int
+            declare b: int
+        return_type: int
+        body:
+            return a + b
+        end body
+    end function
+end module
+```
+
+可以使用 import 来导入 Math 模块：
+```snow
+// main.snow
+module: Main
+    import: Math
+    function: main
+        return_type: int
+        body:
+
+            return Math.add(5, 7)
+        end body
+    end function
+end module
+```
+
+可以同时导入多个模块，用逗号（半角）分隔模块名即可：
+```snow
+// main.snow
+module: Main
+    import: Math, Time
+    function: main
+        return_type: int
+        body:
+
+            return Math.add(5, 7)
+        end body
+    end function
+end module
+```