Dawn 教程

English —— 正本是英文；本文是它的译本，scripts/doc-check.py 盯着两者不脱节。

状态：current —— 面向读者的教程；其中标注 dawn run 的示例由 CI 实跑（scripts/doc-check.py）。

一门刻意小的静态类型语言：编译到 JVM 字节码，native 可执行文件由 GraalVM native-image 直接得到。本教程带你从第一个程序走到调 Java。

本文的 dawn 围栏代码块曾由 Kotlin 侧的 TutorialTest 机械抽取、编译、运行并核对 output；那套测试随 Kotlin 实现一起归档在 kotlin-final tag。门禁已经补回来了 （docs/codebase-audit.md 的 TEST-04）：scripts/doc-check.py 是 CI 的一个 job， 把本文标了 ```dawn run 的块逐个真编真跑。没标 run 的块仍是人工维护的， 可能落后于语言——正确性重要的示例请自己标上。