In Progress Technical Book
Dream: Engineering the Last Programming Language
dreamlang.dev
Dream unifies formal verification, automatic parallelism, content-addressable code, and AI-native design into one coherent language.
The last two years have brought more breakthroughs in programming language research than the previous decade. Dependent types going practical, effect systems becoming automatic, verified compilation within reach, and AI reshaping how we write and reason about code. Most engineers, even deeply technical ones, haven't had time to absorb it all. This book gathers the best ideas from across every language and the latest CS research to ask one question: what would a language designed from scratch for this moment actually look like? Not a final answer, but a road. A deeply technical exploration of what comes next.