Introduction

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

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

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

这一篇解决什么问题

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

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

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

最常见的 function / procedure 外形：

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

function Demo();
begin
    return 1;
end;

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

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

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

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

类的第一印象：

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

type DemoType = class
end;

unit 的第一印象：

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

unit DemoUnit;
interface

function Demo();

implementation

function Demo();
begin
    return 1;
end;

end.