# Introduction

文档类型：语法主线
是否可直接用于生成代码：仅部分
是否含已验证可执行示例：是
是否含已验证反例：否
遇到不确定时跳转到：[02_quickstart.md](02_quickstart.md)、[03_core_model.md](03_core_model.md)、[12_pitfalls.md](12_pitfalls.md)

手册位置：第 1 篇，共 32 篇。上一篇：手册入口 [index.md](index.md)。下一篇：[02_quickstart.md](02_quickstart.md)。

这一篇只做一件事：让新 session 在看到 TSL 时，先用正确的读法建立心智模型。

## 这一篇解决什么问题

回答“第一次读 TSL 时，应该先把它当成什么来理解，以及最容易和别的语言混淆的差异是什么”。

涉及赋值、命名参数、类外形、`unit` 骨架、数组 / 字符串下标这类高频硬规则时，统一以 [02_quickstart.md](02_quickstart.md) 的“语言核心事实速查”为准；这一页只负责建立第一印象。

## 先用什么方式读 TSL

- 可以先按 Pascal 风格语言去读它：常见外形是 `function ... begin ... end;`、`unit ... interface ... implementation ... end.`、`type Name = class ... end;`；但这里只借外形，不默认继承 Pascal 的全部语义、库习惯和文件模型。
- 先看顶层主体，再看细节；不要先被文件扩展名带偏。
- 当前手册把顶层主体优先收敛成四类：松散语句、顶层 `function / procedure`、顶层 `type Name = class`、顶层 `unit`。
- 顶层 `uses` 可以出现，但这里只把它当成辅助组织语句，不把它当成主体声明。
- 日常赋值先记 `:=`，不要把 `=` 当成普通赋值。

## 第一次写时最容易混淆的差异

- `array(...)` 既可以当顺序数组，也可以当字符串键表。
- 数组下标从 `0` 开始，字符串下标从 `1` 开始。
- 顶层类定义按 `type Name = class ... end;` 去写，不使用裸 `class Name`。
- 调用函数时，命名参数写成 `name: value`，例如 `Demo(a: 1, b: 2)`。

## 已验证的第一印象

最常见的 `function / procedure` 外形：

代码块身份：已验证可执行示例

```tsl
function Demo();
begin
    return 1;
end;

procedure LogDemo(msg);
begin
    WriteLn(msg);
end;
```

赋值、数组、字符串下标的第一印象：

代码块身份：已验证可执行示例

```tsl
items := array(10, 20, 30);
table_data := array("Code": "000001", "Name": "Demo");
first_item := items[0];
first_char := "ABC"[1];
```

类的第一印象：

代码块身份：已验证可执行示例

```tsl
type DemoType = class
end;
```

`unit` 的第一印象：

代码块身份：已验证可执行示例

```tsl
unit DemoUnit;
interface

function Demo();

implementation

function Demo();
begin
    return 1;
end;

end.
```

## 下一步怎么读

- 需要立刻开始写代码：看 [02_quickstart.md](02_quickstart.md)
- 需要判断当前文件属于哪一种顶层模型：看 [03_core_model.md](03_core_model.md)
- 需要先写值、数组、字符串：看 [04_values_and_literals.md](04_values_and_literals.md)
- 需要先写变量、常量：看 [05_variables_and_constants.md](05_variables_and_constants.md)
- 需要先写函数和调用：看 [06_functions_and_calls.md](06_functions_and_calls.md)