语法¶

批注

关键字列表与分类见关键字，变量与初始化规则见变量与初始化，函数语法见函数与纯度。

语法列举¶

function(argument1, argument2)
function(argument1)
function argument1

i32 a = 1;     // 不可变变量
var i32 b = 2; // 可变变量
val c = 3;     // 推导不可变
var d = 4;     // 推导可变
let e = 5;     // 表达式
lit f = 6;     // 常量表达式

// 函数
act[io.out] main(i32 argc, [[]string] argv) -> i32 {
    println("Hello, world!");
    return 0;
}

// lambda 表达式
val squre = def (f32 a) -> f32 {
    return a * a;
};

act[io.out] main() -> i32 {
    var i32 a = 1;
    var i32 b = 2;
    i32 c = a + b;
    println(`$a + $b = $c`); // 格式化字符串
    return 0;
}

use "std";

act[io.out] main() -> i32 {
    i32 a = 1;
    i32 b = 2;
    i32 c = a pow b;
    println(`$a ^ $b = $c`); // 格式化字符串
    return 0;
}

&[10]i32

类型系统细节见类型系统，控制流语法见控制流。