标准库参考

Aria 内置了丰富的标准库函数，按命名空间组织。调用方式为 命名空间.函数名(参数)。

全局函数

无需命名空间前缀，直接调用。

print("hello", "world")   // hello world
println("done")           // done\n

console — 控制台

console.log("info message")
console.error("something went wrong")

math — 数学

常量

基础运算

三角函数

双曲函数

指数与对数

角度转换

浮点操作

val.r = math.sqrt(16)          // 4.0
val.angle = math.atan2(1, 1)   // 0.7853... (π/4)
val.d = math.toDegrees(angle)  // 45.0

type — 类型

类型名称对照：none、number、boolean、string、object、store、class、function、list、map。

val.t = type.typeof(42)       // "number"
val.ok = type.isString("hi")  // true
val.n = type.toNumber("3.14") // 3.14

regex — 正则表达式

val.ok = regex.test("\\d+", "abc123")  // true
val.m = regex.match("(\\w+)@(\\w+)", "user@host")
// m = ["user@host", "user", "host"]

crypto — 加密/编码

val.hash = crypto.sha256("hello")
val.encoded = crypto.base64Encode("hello world")
val.id = crypto.uuid()  // "550e8400-e29b-..."

datetime — 日期时间

内部使用 epoch 毫秒（数字）表示时间点。

val.now = datetime.now()
val.str = datetime.format(now)  // "2025-01-15 14:30:00"
val.tomorrow = datetime.addDays(now, 1)
val.diff = datetime.diff(now, tomorrow, "hours")  // 24.0

scheduler — 定时调度

val.id = scheduler.delay(1000, -> {
    println("1 秒后执行")
})

val.timerId = scheduler.interval(500, -> {
    println("每 500ms 执行一次")
})
scheduler.cancel(timerId)

template — 模板引擎

支持 {key} 占位符替换，{{ 和 }} 为转义。

val.result = template.render("Hello, {name}! Age: {age}", {
    "name": "Alice",
    "age": 25
})
// result = "Hello, Alice! Age: 25"

fs — 文件系统

fs.write("test.txt", "hello world")
val.content = fs.read("test.txt")  // "hello world"
val.files = fs.list(".")
val.info = fs.info("test.txt")     // {size: 11, isDir: false, ...}

net — 网络/HTTP

所有同步请求返回 {status, body, headers} 格式的 Map。

net.request 的 options 格式：{url, method, body, headers, timeout}。

异步回调签名：callback(error, response)，error 为 none 表示成功。

val.resp = net.get("https://api.example.com/data")
println(resp.status)  // 200
println(resp.body)

val.resp2 = net.post("https://api.example.com/data", '{"key":"value"}', {
    "Content-Type": "application/json"
})

net.asyncGet("https://api.example.com/data", -> {
    println(args[1].body)
})

event — 事件总线

event.on("user.login", -> {
    println("User logged in: " + args[0])
})
event.emit("user.login", "Alice")
event.off("user.login")

json — JSON 序列化

val.obj = json.parse('{"name": "Alice", "age": 25}')
println(obj.name)  // "Alice"

val.str = json.stringify({"key": "value"}, true)

serial — 二进制序列化

支持的类型：none、number、boolean、string、list、map。

val.data = {"name": "Alice", "scores": [90, 85, 92]}
val.bytes = serial.encode(data)
val.restored = serial.decode(bytes)

db — 数据库

支持 SQLite、H2、MySQL。

val.conn = db.connect("sqlite", "test.db")
db.table(conn, "users", {"id": "INTEGER PRIMARY KEY", "name": "TEXT", "age": "INTEGER"})

db.insert(conn, "users", {"name": "Alice", "age": 25})
db.insert(conn, "users", {"name": "Bob", "age": 30})

val.rows = db.select(conn, "users", {"name": "Alice"})
println(rows)  // [{id: 1, name: "Alice", age: 25}]

db.update(conn, "users", {"age": 26}, {"name": "Alice"})
db.delete(conn, "users", {"name": "Bob"})

db.transaction(conn, -> {
    db.insert(conn, "users", {"name": "Charlie", "age": 35})
    db.insert(conn, "users", {"name": "Diana", "age": 28})
})

db.close(conn)

对象方法

以下方法通过 .方法名() 在对象上调用。

字符串方法

val.s = "Hello, World!"
println(s.length())        // 13
println(s.substring(0, 5)) // "Hello"
println(s.toUpperCase())   // "HELLO, WORLD!"
val.parts = s.split(", ")  // ["Hello", "World!"]

列表方法

基础操作

高阶函数

val.nums = [3, 1, 4, 1, 5]
val.doubled = nums.map(-> { return args[0] * 2 })     // [6, 2, 8, 2, 10]
val.evens = nums.filter(-> { return args[0] % 2 == 0 }) // [4]
val.sum = nums.reduce(-> { return args[0] + args[1] }, 0) // 14
val.found = nums.find(-> { return args[0] > 3 })       // 4
println(nums.join("-"))  // "3-1-4-1-5"

字典方法

基础操作

高阶函数

val.m = {"name": "Alice", "age": 25}
println(m.keys())    // ["name", "age"]
println(m.size())    // 2

m.forEach(-> {
    println(args[0] + " = " + args[1])
})

val.filtered = m.filter(-> { return args[0] != "age" })

数字方法

val.pi = 3.14159
println(pi.toFixed(2))  // "3.14"
println(pi.round(3))    // 3.142
println(pi.toInt())     // 3

UUID

通过构造器创建 UUID 对象：

val.id = UUID()
print(id)  // 550e8400-e29b-41d4-a716-446655440000

Range

通过构造器创建范围对象，支持可选的步长参数：

val.r = Range(1, 10)
for i in r {
    print(i)  // 1, 2, 3, ..., 9
}

val.r2 = Range(0, 10, 2)
for i in r2 {
    print(i)  // 0, 2, 4, 6, 8
}

动画缓动函数

动画缓动对象位于独立模块 aria-animations，需要将其加入 classpath 后自动注册。共 24 个缓动对象：