程序可划分为多组编译单元或模块。每个模块都有其自己的作用域，即，在模块中创建的任何声明（变量、函数、类等）在该模块之外都不可见，除非它们被显式导出。与此相对，从另一个模块导出的变量、函数、类、接口等必须首先导入到模块中。

函数声明引入一个函数，包含其名称、参数列表、返回类型和函数体。

类声明引入一个新类型，并定义其字段、方法和构造函数。