Type-driven delta computation in Rust | Dark Hacker News