11. 调用 Java

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