Type-driven delta computation in Rust | Heykuki News