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.」。本文只整理倉庫可直接核對的內容，不把 star、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 如果倉庫沒有命令，本文不會自行編造步驟，而是建議先閱讀「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,。