凹语言手册

3.1. 局部变量声明

第2章介绍了全局变量和常量声明，同样常用的还有局部变量（函数内部定义的变量）声明，它的一般语法为：

局部变量名: 数据类型 = 初始值

与全局变量和常量不同的是：局部变量的声明不以关键字开始；在声明局部变量时，如果省略 = 初始值 部分，则该变量将以0值初始化，如：

    aI32: i32 = 42
    aString: string = "你好"
    aF32: f32  // 0.0

另一种常用的声明局部变量的语法是使用快捷定义符 := ，语法如下：

局部变量名 := 表达式

使用这种写法时变量的类型将与快捷定义符右侧表达式的类型保持一致，且表达式的值将被赋为该局部变量的初始值，如：

    a := 13          // int
    f := 3.14        // f64
    s := genString() // string
...
func genString() => string { return "Hello" }

凹语言是静态类型语言，合法表达式的类型可以在编译时推定，因此变量的类型是确定的。该 := 语法类似于C++的 auto 类型。