Bell State Circuit - Quipper Typing CST Test
Loading…
Bell State Circuit — Quipper Code
Creates a Bell state using Hadamard and CNOT gates on 2 qubits.
import Quipper
main = print_simple Preview $ do
q1 <- qinit False
q2 <- qinit False
hadamard q1
controlled_not q1 q2
measure q1
measure q2Quipper Language Guide
Quipper is a functional programming language designed for scalable quantum computing. It provides a high-level framework for constructing, manipulating, and simulating quantum circuits.
Primary Use Cases
- ▸Constructing scalable quantum circuits
- ▸Algorithm prototyping and analysis
- ▸Automatic circuit optimization
- ▸Quantum program simulation
- ▸Research on quantum algorithm design
Notable Features
- ▸Functional programming approach using Haskell
- ▸Automatic generation of large quantum circuits
- ▸Support for circuit transformations and optimizations
- ▸Integration with classical code for hybrid computation
- ▸Rich type system for safe quantum programming
Origin & Creator
Quipper was developed by Microsoft Research and academia (e.g., Bernhard Ömer and colleagues) around 2008-2013 as a functional language tailored for quantum computation.
Industrial Note
Quipper is mainly used in research for algorithm development, circuit synthesis, and testing large-scale quantum protocols rather than direct execution on real quantum hardware.
More Quipper Typing Exercises
Quipper Simple Quantum CircuitQuipper GHZ State CircuitQuipper Quantum Teleportation CircuitQuipper Toffoli Gate CircuitQuipper Quantum Fourier Transform CircuitQuipper Swap Gate CircuitQuipper Controlled-U Gate CircuitQuipper Phase Kickback ExampleQuipper Quantum Teleportation with Classical Communication