Tracking Errors through Types in Quantum Programs

Errors will be prevalent in near-term quantum computing and need to be taken into account when designing quantum algorithms. It is thus reasonable to provide language-level support for reasoning about errors in quantum programs, in the style of existing tools for classical languages [1, 2, 9]. This extended abstract describes a simple type-based approach to reasoning about fault tolerance in quantum programs. Our implementation extends QWIRE [8] and is available at https://github.com/inQWIRE/QWIRE/tree/error_wires.