Phase Kickback Example - Quipper Typing CST Test
Loading…
Phase Kickback Example — Quipper Code
Demonstrates phase kickback using a controlled phase gate.
import Quipper
main = print_simple Preview $ do
control <- qinit True
target <- qinit False
controlled control (gate_RZ (pi/2) target)
measure control
measure targetQuipper 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 Bell State CircuitQuipper GHZ State CircuitQuipper Quantum Teleportation CircuitQuipper Toffoli Gate CircuitQuipper Quantum Fourier Transform CircuitQuipper Swap Gate CircuitQuipper Controlled-U Gate CircuitQuipper Quantum Teleportation with Classical Communication