标准库参考

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

全局函数

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

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

console — 控制台

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

math — 数学

常量

基础运算

三角函数

双曲函数

指数与对数

角度转换

浮点操作

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

type — 类型

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

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

regex — 正则表达式

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

crypto — 加密/编码

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

datetime — 日期时间

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

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

scheduler — 定时调度

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

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

template — 模板引擎

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

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

fs — 文件系统

fs.write("test.txt", "hello world")
content = fs.read("test.txt")  // "hello world"
files = fs.list(".")
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 表示成功。

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

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 序列化

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

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

serial — 二进制序列化

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

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

db — 数据库

db 命名空间由独立模块 aria-db 提供，需在 classpath 中引入并注册（见「嵌入」文档的依赖配置）。核心引擎默认不包含 db。

支持 SQLite、H2、MySQL。

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})

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

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)

对象方法

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

字符串方法

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

println('a,b,,'.split(',').size())    // 2.0（尾部空串被丢弃）
println('a,b,c'.split(',', 2)[1])     // "b,c"（limit 限制段数）
println('abcabc'.startsWith('b', 1))  // true
println('abcabc'.indexOf('a', 1))     // 3.0

列表方法

基础操作

高阶函数

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

字典方法

基础操作

高阶函数

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

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

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

数字方法

p = 3.14159
println(p.toFixed(2))  // "3.14"
println(p.round(3))    // 3.142
println(p.toInt())     // 3.0

UUID

通过构造器创建 UUID 对象：

非法字符串不抛异常，回退为随机 UUID：UUID('not-a-uuid') 得到一个随机 UUID 对象。

UUID 对象方法：

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

u = UUID('550e8400-e29b-41d4-a716-446655440000')
print(u.version())  // 4.0

Range

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

规则：

• Range 是双端闭区间：Range(1, 10) 含 1 也含 10；
• start > end 且未显式给步长时是空区间（不自动倒序）；倒序需 Range(10, 1, -1)；
• 参数少于 2 个时按 (0, 0) 处理（Range()、Range(5) 都只含 0）；
• ~~ 的右值只认 Range（见运算符）。

start..end 与 Range(start, end) 完全等价，可直接用于 for-in 与 ~~：

for (i in 3..7) {
    print(i)  // 3.0, 4.0, 5.0, 6.0, 7.0（含 7）
}

r = Range(1, 10)
for (i in r) {
    print(i)  // 1.0, 2.0, 3.0, ..., 10.0
}

r2 = Range(0, 10, 2)
for (i in r2) {
    print(i)  // 0.0, 2.0, 4.0, 6.0, 8.0, 10.0
}

动画缓动函数

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