anzellai/sky：README 来源编辑指南

anzellai/sky 的 README 将项目描述为"Sky , an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output."。本文只整理仓库能直接核验的内容，不把星标、Fork 或宣传语当成质量证明。README 在"Sky"下的说明是：> Status: v0.19.x release candidate. Public APIs are stable for the > v1.0 line; minor versions ship features additively. Internals can > still change between minor versions.。这给出的首先是项目边界，而不是已经完成的生产验证。

从 README 的"Why Sky"和相关条目看，读者可以先判断它是否解决自己的具体问题：One language, every shape. The same init / update / view /。如果你的目标与这段说明不一致，就不应仅凭项目热度采用它。这里保留原项目名、命令和组件名，方便回到一手来源核对。 README 还列出了另一条可核对的信息：If it compiles, it works. Every side effect returns。这类原文条目可以帮助读者设计试运行步骤，但不能代替自己的环境测试。

README 把工作方式分散写在"Why Sky"等段落中。可确认的线索包括：Task Error a; every fallible value returns Result Error a; sky check invokes go build on the emitted Go so any shape mismatch surfaces at type-check time. There is no runtime null, no uncaught exception, no silent numeric coercion.。这篇整理没有把未写出的架构、性能或安全边界补成结论；真正的运行链仍应结合仓库目录、配置文件和版本标签检查。

第一次安装应从 README 给出的入口开始。当前可复核的命令是： # macOS / Linux , single-binary install curl -fsSL https://raw.githubusercontent.com/anzellai/sky/main/install.sh | sh # or build from source (Rust toolchain required to build the compiler) git clone https://github.com/anzellai/sky cd sky/rust && cargo build --release -p sky # or install straight to ~/.local/bin: # cargo install --path rust/crates/sky --root ~/.local --locked 如果仓库没有提供命令，本文不会替它编造安装步骤，而是建议先打开 README 的"Why Sky"部分，确认系统依赖、默认端口和首次初始化动作。

日常使用的细节取决于项目实际文档。README 的"Why Sky"段落提到：subscriptions source compiles to a server-rendered web app (Sky.Live), a terminal UI (Sky.Tui), or a native desktop window (Sky.Webview).。对于配置文件、环境变量、权限和数据目录，当前稿只记录来源明确的部分；未写明的默认值必须在测试环境中验证，并保留可回滚的配置副本。 同一部分还提到：Batteries included. Auth, database, HTTP client + server,。