Sky: An Experimental Elm-Inspired Programming Language That Compiles to Go
By
whalesalad
Pure flour-power. Hearty enough to carry you through lunch.
Summary
Sky is an experimental programming language that combines Go's pragmatism with Elm's elegance to create a fullstack functional programming language. It compiles to Go, offering fast compilation and single static binary output while incorporating Hindley-Milner type inference, algebraic data types, exhaustive pattern matching, and pure functions from Elm. The language also features server-driven UI capabilities similar to Phoenix LiveView through its Sky.Live component. The project is under active development with APIs and internals subject to change.
Key quotes
· 5 pulledSky is an experimental programming language that combines Go's pragmatism with Elm's elegance to create a simple, fullstack language where you write FP code and ship a single portable binary.
What Sky brings together: Go -- fast compilation, single static binary, battle-tested ecosystem covering databases, HTTP servers, cloud SDKs, and everything in between
Elm -- Hindley-Milner type inference, algebraic data types, exhaustive pattern matching, pure functions, The Elm Architecture
Phoenix LiveView -- server-driven UI (Sky.Live)
Experimental -- Sky is under active development. APIs and internals will change.
You might also wanna read
Dynamic Borrow-Checking in a Toy Programming Language: Implementing Rust-like Memory Safety Without Static Types
This article presents a demonstration of a toy programming language that implements borrow-checking without static type-checking. The langua
scattered-thoughts.net·1mo ago
C++26 Standard Draft Finalized with Reflection, Memory Safety, Contracts, and New Concurrency Framework
The C++26 standard draft has been completed, introducing major new features including reflection capabilities that allow C++ to describe its
infoq.com·1mo agoUnderstanding Fil-C: A Simplified Model of Memory-Safe C/C++ Implementation
The article presents a simplified model of Fil-C, a memory-safe implementation of C/C++. It explains that while the real Fil-C uses a compil
Analyzing Rust's Coherence and Orphan Rules: Ecosystem Development Challenges and Proposed Solutions
This article critiques Rust programming language's coherence rules and orphan rules, which prevent implementing traits for types defined in
boxyuwu.blog·2mo ago
SBCL Fibers: Implementation Design for Lightweight Cooperative Threads
This is a draft design document describing the implementation of lightweight userland cooperative threads (called 'fibers') for SBCL (Steel
atgreen.github.io·2mo ago
Zig Programming Language Devlog: LLVM Incremental Compilation Improvements (April 2026)
This is a developer log (devlog) entry for the Zig programming language, documenting recent changes to the main branch. The April 8, 2026 en
ziglang.org·2mo ago