Twist - MIT's new programming language for quantum computing

Twist is an MIT-developed programming language that can describe and verify which pieces of data are entangled to prevent bugs in a quantum program.

Photo: Graham Carlow/IBM

Research paper: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs https://popl22.sigplan.org/details/POPL-2022-popl-research-papers/30/Twist-Sound-Reasoning-for-Purity-and-Entanglement-in-Quantum-Programs

News Source: https://news.mit.edu/2022/new-language-quantum-computing-twist-0124 ... https://www.youtube.com/watch?v=7iMS_PFy7Ck