Quantum type system in H-hat quantum programming language

In this talk, the H-hat quantum type system is presented. H-hat is a high-level abstraction quantum programming language designed to close the gap between software development and quantum resources, by using familiar programming concepts in a hybrid paradigm. Its quantum type system introduces quantum types that can hold both classical and quantum types, define the number of indexes (qubits) that a quantum variable is able to use, as well as define the rules in which a quantum type can be cast into a classical type. The casting process causes the quantum variable to execute its context at runtime, compile the quantum instructions to be executed and measured in a quantum simulator or hardware, and provide the appropriate conversion method from bits sampling to the desired classical type.