Quantum type system in H-hat quantum programming language
- Track: Quantum Computing
- Room: K.4.401
- Day: Sunday
- Start: 14:40
- End: 15:00
- Video only: k4401
- Chat: Join the conversation!
![](/2025/schedule/event/fosdem-2025-4154-quantum-type-system-in-h-hat-quantum-programming-language/fosdem-2025-4154-quantum-type-system-in-h-hat-quantum-programming-language-9b179db542cad804c823521115d27575287105f3f1bbcb16adb205fd1ca54873.png)
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.
Speakers
![]() |
Eduardo Maschio (Dooms) |