程序结构
通常，我们都会在扩展名为 .cj 的文本文件中编写仓颉程序，这些程序和文件也被称为源代码和源文件，在程序开发的最后阶段，这些源代码将被编译为特定格式的二进制文件。
编辑
在仓颉程序的顶层作用域中，可以定义一系列的变量、函数和自定义类型（如 struct、class、enum 和 interface 等），其中的变量和函数分别被称为全局变量和全局函数。如果要将仓颉程序编译为可执行文件，需要在顶层作用域中定义一个 main 函数作为程序入口，它可以有 Array 类型的参数，也可以没有参数，它的返回值类型可以是整数类型或 Unit 类型。
注意
定义 main 函数时，不需要写 func 修饰符。此外，如果需要获取程序启动时的命令行参数，可以声明和使用 Array 类型参数。
变量
变量将一个名字和一个特定类型的值关联起来。
变量定义的具体形式为：
| 修饰符 变量名: 变量类型 = 初始值let str:String="仓颉"//不可变Var str1:String=“仓颉”//可变Const str12:string=”仓颉”//常量，多为系统固定变量，如已知π，等常用变量。 |
其中修饰符用于设置变量的各类属性，可以有一个或多个，常用的修饰符包括：
- 可变性修饰符：let 与 var，分别对应不可变和可变属性，可变性决定了变量被初始化后其值还能否改变，仓颉变量也由此分为不可变变量和可变变量两类。
- 可见性修饰符：private 与 public 等，影响全局变量和成员变量的可引用范围，详见后续章节的相关介绍。
- 静态性修饰符：static，影响成员变量的存储和引用方式，详见后续章节的相关介绍。
在定义仓颉变量时，可变性修饰符是必要的，在此基础上，还可以根据需要添加其他修饰符。
- 变量名应是一个合法的仓颉标识符。
- 变量类型指定了变量所持有数据的类型。当初始值具有明确类型时，可以省略变量类型标注，此时编译器可以自动推断出变量类型。
- 初始值是一个仓颉表达式，用于初始化变量，如果标注了变量类型，需要保证初始值类型和变量类型一致。在定义全局变量或静态成员变量时，必须指定初始值。在定义局部变量或实例成员变量时，可以省略初始值，但需要标注变量类型，同时要在此变量被引用前完成初始化，否则编译会报错。
| main() { let a: Int64 = 20 var b: Int64 = 12 b = 24 println("{b}")} |
编辑
如果修改了不可变变量的值，会引发错误，
| package HelloTestmain(): Int64 { // let str:String="仓颉" // println("你好!仓颉") // println(str) let a: Int64 = 20 var b: Int64 = 12 a=16 b = 24 println("{b}") return 0} |
编辑
