Programming: Future possibilities
- Updated
On this page
Safer components inside existing systems
Possible future · No delivery date predicted · near-term possibility; no promised delivery date or outcome.
More projects may adopt memory-safe languages for selected components while keeping established interfaces. The pace will depend on staffing, tooling, compatibility and the risk of migration itself. There is no universal deadline at which all legacy code becomes safe.
The Case for Memory Safe Roadmaps announcement — CISA and international partners · Source date: 2023 · Checked
More machine-checkable software contracts
Possible future · Long-term possibility; unresolved · long-term possibility; no promised delivery date or outcome.
Future toolchains may help developers express and check more assumptions about behavior and integration. Existing compiler and execution standards show the usefulness of explicit rules, but broad automatic verification of arbitrary real-world requirements is not established by these examples.
Ownership and compiler-checked memory management — The Rust Project · Checked
WebAssembly Core Specification 1.0 — W3C · Source date: 2019-12-05 · Checked