Toffoli Gate Circuit - Quipper Typing CST Test
Loading…
Toffoli Gate Circuit — Quipper Code
Applies a Toffoli (CCNOT) gate to 3 qubits.
import Quipper
main = print_simple Preview $ do
a <- qinit False
b <- qinit True
c <- qinit False
toffoli a b c
measure a
measure b
measure cQuipper 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 Quantum Fourier Transform CircuitQuipper Swap Gate CircuitQuipper Controlled-U Gate CircuitQuipper Phase Kickback ExampleQuipper Quantum Teleportation with Classical Communication