定义

Nim代码指定一个计算，该计算作用于由称为 位置 的组件组成的内存。 变量基本上是位置的名称。每个变量和位置都是某种 类型 。 变量类型叫做 静态类型 ，位置的类型叫做 动态类型 。 如果静态类型和动态类型不一样，它是动态类型的一个超类型或子类型。

标识符 是声明为变量，类型，过程等的名称的符号。

声明适用的程序区域叫做 作用域 。作用域可以嵌套。 标识符的含义由声明标识符的最小封闭范围确定，除非重载解析规则另有说明。

表达式指定生成值或位置的计算。产生位置的表达式叫 左值 。左值可以表示位置或位置包含的值，具体取决于上下文。

Nim 程序 由一个或多个包含Nim代码的文本 源文件 构成。 它由Nim 编译器 处理成一个 可执行文件 。 可执行文件的类型取决于编译器实现； 例如它可以是原生二进制或JavaScript源代码。

在典型的Nim程序中，多数代码编译成可执行文件。 但是，某些代码可以在 编译期 执行 。 这可以包括宏定义使用的常量表达式，宏定义，和Nim过程。 编译期支持大部分Nim语言，但有一些限制 — 详见 Restrictions on Compile-Time Execution 。 我们用术语 进行时 来涵盖可执行文件中的编译时执行和代码执行。

编译器把Nim源代码解析为称为 抽象语法树 (AST) 的内部数据结构 。 然后，在执行代码或编译成可执行文件前，通过 语义分析 变换AST。 这会添加语义信息，诸如表达式类型、标识符含义，以及某些情况下的表达式值。 语义分析期间的错误叫做 静态错误 。 未另行指定时，本手册中描述的错误是静态错误。

运行时检查错误 是实现在运行时检查并报告的错误。 报错此类错误的方法是通过 引发异常 或 以致命错误退出 。 但是，该实现提供了禁用这些 运行时检查 的方法 . 有关详细信息，请参阅 pragmas 部分。

检查的运行时错误是导致异常还是致命错误取决于实现。 因此以下程序无效；即使代码声称从越界数组访问中捕获 IndexError ，编译器也可以选择允许程序退出致命错误。

var a: array[0..1, char]
let i = 5
try:
  a[i] = 'N'
except IndexError:
  echo "invalid index"

未经检查的运行时错误 是一个不能保证被检测到的错误，并且可能导致任意的计算后续行为。 如果仅使用 safe 语言功能并且未禁用运行时检查，则不会发生未经检查的运行时错误。

常量表达式 是一个表达式，其值可以在出现的代码的语义分析期间计算。 它不是左值也没有副作用。 常量表达式不仅限于语义分析的功能，例如常量折叠;他们可以使用编译时执行所支持的所有Nim语言功能。 由于常量表达式可以用作语义分析的输入（例如用于定义数组边界），因此这种灵活性要求编译器交错语义分析和编译时代码执行。

在源代码中从上到下和从左到右进行图像语义分析是非常准确的，在必要时交错编译时代码执行以计算后续语义分析所需的值。 我们将在本文档后面看到，宏调用不仅需要这种交错，而且还会产生语义分析不能完全从上到下，从左到右进行的情况。