MIT and the Chinese Academy of Sciences have introduced new quantum programming languages that to provide specific features not available with some of the other programming platforms that are available.

The MIT language, called Twist, is designed to catch errors that a programmer can inadvertently make when they are performing gate level operations on one qubits of an entangled pair of qubits. The problem is that because the qubits are entangled the gate operation on the first one will also affect the state of the second one with the programmer not realizing it. This is a problem that would never occur in classical programming because an instruction in a classical program will never affect the state of a variable that isn’t called out in the instruction. Twist introduces features a type system and uses a concept called purity to represent qubits that are not entangled. Operations on qubits that do not have purity are flagged to help the programmer avoid errors and ensure the correctness of the program. Additional information about Twist can be found in a news release available on the MIT website here, a technical paper located on the ACM website here, and a short video you can download here.

The Institute of Software under the Chinese Academy of Sciences has developed quantum programming software called isQ-Core that has been designed to support the country’s superconducting quantum hardware platform. Key features of the isQ-Core software include simplicity, ease-of-use, high efficiency, scalability, and high reliability. CAS has deployed isQ-Core on a quantum computing cloud platform. Additional information is available in a news release that can be accessed here.

February 21, 2022