语法速览

这页是一张路线图，不要求你一次记住全部语法。遇到感兴趣的部分，点进对应章节看更具体的规则。

源文件与入口

Kelyra 源文件使用 .kly。一个文件对应一个模块；未写 module 时，也可以编写简单的单文件程序。

@main
fn main() -> i32 {
  return 0;
}

@main 入口必须是无参数、返回 i32 的函数。程序里只能有一个这样的入口。

变量与表达式

let 至少给出类型或初始值。类型明确时写 let count: i32 = 3;，可推导时写 let count = 3;。

fn square(value: i32) -> i32 {
  let result = value * value;
  return result;
}

函数参数类型需要写出。当前没有隐式数值提升；跨数值类型时使用显式 as 转换。

常用结构

代码	作用	继续阅读
if condition { ... }	条件分支	控制流
while condition { ... }	条件循环	控制流
for item in values { ... }	遍历迭代器	控制流
match value { ... }	按值选择分支	控制流
class Name { ... }	定义类型与行为	类与接口
module app.main;	声明模块	模块、注解与平台
import std.io;	导入模块	模块、注解与平台

语法边界

Kelyra 仍在开发。比如构造函数重载、同名泛型函数模板、闭包和 match 守卫尚未支持。需要精确规则时，可参考当前前端文档和对应的编译器测试。