Sky – an Elm-inspired language that compiles to Go (github.com)

Sky is an experimental Elm-inspired programming language that compiles to Go, aiming to let developers build fullstack apps from a single codebase and ship one portable binary. It combines Hindley-Milner type inference and Elm-style pattern matching with a server-driven UI model (Sky.Live) that renders via DOM diffing and SSE rather than needing a separate client framework. The project includes Go interop via type-safe FFI bindings and emphasizes that the compiler and tooling are self-hosted in Sky itself.