Sky: an Elm-inspired language that compiles to Go and ships a single portable binary

What is Sky?

Sky is an experimental language that tries to mash together Elm's type-safety and The Elm Architecture with Go's pragmatism and single-binary story. It has been reported that Sky offers Hindley–Milner type inference, algebraic data types, exhaustive pattern matching and pure functions — the sorts of guarantees Elm users love — while compiling down to Go so you get a native artifact that runs your API, DB access, and server-rendered UI all in one. Sounds tidy, right? No frontend/backend divorce court, no duplicate models, no npm fever dreams.

How it works (allegedly)

Sky compiles to Go and, according to the repo, auto-generates FFI bindings so you can import Go packages with type safety. It also borrows the LiveView pattern: server-driven UI with DOM diffing, session management and SSE subscriptions — no client-side framework and, allegedly, no WebSocket required. The compiler, CLI, formatter and LSP are reportedly written in Sky itself and bootstrap through multiple generations of self-hosting; the distributed compiler binary is stated to be around ~4MB. It has been reported that the project used AI-assisted development (Gemini CLI early on, then Claude Code) to iterate the compiler architecture quickly.

Why it matters

This is part of a growing reaction against the complexity of modern JS stacks: Hotwire, LiveView and friends have shown that server-driven interactivity can be a sane alternative. Sky tries to package that idea with Elm-style guarantees and Go’s massive ecosystem — one language, one deployment artifact. The emotional hook is obvious: fearless refactoring and fewer cross-stack integration headaches. But beware — Sky is experimental and opinionated; APIs and internals will change. Adoption hurdles remain (ecosystem, tooling maturity, and community), so this is interesting research, not a production switch flip.

Try it or watch it

If you want to poke at it, the repo and an install script live on GitHub: https://github.com/anzellai/sky. Want something that behaves like Elm in the editor but just produces a tiny Go binary? You’re reading the right README. Will it stick? Only time — and users — will tell.

Sources: github.com/anzellai, Lobsters