Almide
A statically-typed language, compiling to native binaries via Rust and to WebAssembly with byte-identical output, designed around one metric: how often code still compiles and passes its tests after a series of AI-driven edits.
Almide is built for what it calls modification survival rate: whether code still compiles and passes its tests after AI-driven edits. When a model adds a case to a type without updating every place that handles it, the compiler names the exact missing case, points at the site, and spells out the arm to add, or offers a _ => todo() escape hatch so the rest of the program keeps compiling while the fix is written.
Its design goals are predictability, favoring one canonical way to express each concept to reduce token branching for an LLM; locality, so understanding a piece of code only needs nearby context; repairability, through diagnostics that point at a specific fix rather than several possibilities; and compactness, aiming for high semantic density with low syntactic noise.
It installs with a shell or PowerShell script that checks the downloaded archive against a published SHA-256 checksum, and release assets are Sigstore-attested so they can be verified independently with gh attestation verify. A browser playground is available with no installation needed.