11. 调用 Java

仅限 JVM 工具链。 本章需要 dawn-selfhost.jar 或检出里的 ./bin/dawn。 静态的 dawnc 经 C 编译、拒绝 use java，用它的话请直接跳到第 12 章。

use java "..." 直接调 Java 类。所有 Java 调用自动视为 !io；引用类型返回值 自动包成 Option[T]——null 进不了 Dawn。构造用 .new，静态方法用类名。

use java "java.lang.Math"

pub fn main() -> Unit !io = {
  let n = Math.abs(-7)
  println(to_string(n))
}

7

另见：spec.md §9