SkyHetu: Designing a Causality-First Programming Language in Rust

Most bugs I’ve encountered in my career boil down to one question: "How did this variable get here?" Modern programming languages are amnesiacs. If user.balance is 0, the application knows it is 0 now, but it has no memory of the sequence of events t...