📝 docs(tsl): align syntax annotations and examples

docs/tsl/syntax_book/01_language_basics.md

@@ -144,6 +144,7 @@
         - [多维数组的理解](#多维数组的理解)
         - [字符串也可以作为数组的下标](#字符串也可以作为数组的下标)
         - [数组的表达方式](#数组的表达方式)
+        - [Array of 类型注解（可选）](#array-of-类型注解可选)
         - [TSL 语言的数组和其他语言相比的特性](#tsl-语言的数组和其他语言相比的特性)
       - [TMatrix](#tmatrix)
       - [Matrix](#matrix)
@@ -157,6 +158,7 @@
         - [COM 方法的调用例子](#com-方法的调用例子)
       - [TSLObj](#tslobj)
     - [常量与变量](#常量与变量)
+      - [类型注解](#类型注解)
       - [全局变量](#全局变量)
       - [常量](#常量)
         - [常量及常量成员的定义与初始化](#常量及常量成员的定义与初始化)
@@ -1831,6 +1833,17 @@ d := array(1 + 3, 2 + 5);
 empty := array();
 ```
 
+##### Array of 类型注解（可选）
+
+类型注解可用 `array of <label>` 标注元素含义，支持嵌套（如 `array of array of real`）。注解仅用于说明，编译器不做类型检查。
+
+```tsl
+function Clone(items: array of string): array of string;
+begin
+    return items;
+end;
+```
+
 ##### TSL 语言的数组和其他语言相比的特性
 
 - 支持字符串下标，便于按名称访问。
@@ -2034,6 +2047,19 @@ today := Date();
 
 变量 dToday 通过 Date()函数的返回，被赋值为一个 TDateTime 类型的数据。
 
+#### 类型注解
+
+类型注解使用 `:` 指定标识符类型，常见于函数参数/返回值、类字段和属性声明。
+
+注解名称不参与编译检查，可任意命名，仅用于说明与阅读。
+
+```tsl
+function Open(path: string; flags: options = 0): result;
+begin
+    return array("path": path, "flags": flags);
+end;
+```
+
 常量即同 C 语言中的常量，它是一个固定值，在程序执行期间不会改变。
 
 截止到 2023-07 月份前的 TSL 版中，TSL 中没有特定的常量标识符，即不支持通过 const 来定义一个常量标识符。