The programming language that knows why. Trace is a compiled, statically-typed, general-purpose programming language built around one radical idea: tracelity is a first-class feature.