A deterministic, declarative systems programming language for building reliable, long-lived distributed systems.