Quantum Fourier Transform Circuit - Quipper Typing CST Test
Loading…
Quantum Fourier Transform Circuit — Quipper Code
Implements a 3-qubit Quantum Fourier Transform.
import Quipper
qft3 q = do
hadamard (q!!0)
controlled_phase_shift (pi/2) (q!!1) (q!!0)
controlled_phase_shift (pi/4) (q!!2) (q!!0)
hadamard (q!!1)
controlled_phase_shift (pi/2) (q!!2) (q!!1)
hadamard (q!!2)
main = print_simple Preview $ do
qs <- qinit_list 3 False
qft3 qs
mapM_ measure qsQuipper 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.