Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output. - anzellai/sky

Hacker News is a community-driven platform for sharing and discussing technology news, startups, and programming-related topics. Through user submissions and comments, Hacker News offers insights into emerging technology trends, industry developments, and entrepreneurial ventures. Readers can participate in discussions, share their insights, and stay informed about the latest advancements in technology and innovation.

Hacker News

Sky is an experimental programming language that compiles to Go, combining Elm's functional programming model (Hindley-Milner type inference, algebraic data types, exhaustive pattern matching, The Elm Architecture) with Go's pragmatism (fast compilation, single static binary, massive ecosystem). It features a server-driven UI framework called Sky.Live inspired by Phoenix LiveView, enabling fullstack apps with DOM diffing and SSE subscriptions without a client-side framework. The compiler, CLI, formatter, and LSP are all self-hosted in Sky itself, producing a ~4MB binary with zero Node.js/npm dependencies. The README covers language features, Go FFI interop with auto-generated type-safe bindings, package management, Sky.Live configuration, and a detailed compiler optimization journey that reduced build times from hanging indefinitely to under a minute for large projects.

GitHub - anzellai/sky: Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.