Twist programming language: Track data entanglement to rein in quantum code (spectrum.ieee.org)

The first thing I thought was how close that example looks to Rust.

Here's a link to the actual paper: https://dl.acm.org/doi/10.1145/3498691