Learn Quipper - 10 Code Examples & CST Typing Practice Test

Quipper is a functional programming language designed for scalable quantum computing. It provides a high-level framework for constructing, manipulating, and simulating quantum circuits.

View all 10 Quipper code examples →

Quipper Simple Quantum Circuit Quipper Bell State Circuit Quipper GHZ State Circuit Quipper Quantum Teleportation Circuit Quipper Toffoli Gate Circuit Quipper Quantum Fourier Transform Circuit Quipper Swap Gate Circuit Quipper Controlled-U Gate Circuit Quipper Phase Kickback Example Quipper Quantum Teleportation with Classical Communication

Learn QUIPPER with Real Code Examples

Updated Nov 25, 2025

Introduction & Fundamentals Setup & Configuration Architecture & Deep Internals Performance & Security Development Workflow Learning & Career Growth Business & Strategy Examples

Code Sample Descriptions

Quipper Simple Quantum Circuit

import Quipper

main = print_simple Preview $ do
    q1 <- qinit False
    q2 <- qinit False
    hadamard q1
    controlled_not q1 q2
    measure q1
    measure q2

A minimal Quipper example defining a 2-qubit quantum circuit, applying Hadamard and CNOT gates.

Let’s Try →

Quipper Bell State Circuit

import Quipper

main = print_simple Preview $ do
    q1 <- qinit False
    q2 <- qinit False
    hadamard q1
    controlled_not q1 q2
    measure q1
    measure q2

Creates a Bell state using Hadamard and CNOT gates on 2 qubits.

Let’s Try →

Quipper GHZ State Circuit

import Quipper

main = print_simple Preview $ do
    q1 <- qinit False
    q2 <- qinit False
    q3 <- qinit False
    hadamard q1
    controlled_not q1 q2
    controlled_not q1 q3
    measure q1
    measure q2
    measure q3

Generates a 3-qubit GHZ state.

Let’s Try →

Quipper Quantum Teleportation Circuit

import Quipper

main = print_simple Preview $ do
    alice <- qinit False
    bob <- qinit False
    msg <- qinit True
    hadamard alice
    controlled_not alice bob
    controlled_not msg alice
    hadamard msg
    c1 <- measure msg
    c2 <- measure alice
    if c2 then gate_X bob else return ()
    if c1 then gate_Z bob else return ()
    measure bob

Implements the quantum teleportation protocol with 3 qubits.

Let’s Try →

Quipper Toffoli Gate Circuit

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 c

Applies a Toffoli (CCNOT) gate to 3 qubits.

Let’s Try →

Quipper Quantum Fourier Transform Circuit

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 qs

Implements a 3-qubit Quantum Fourier Transform.

Let’s Try →

Quipper Swap Gate Circuit

import Quipper

main = print_simple Preview $ do
    a <- qinit False
    b <- qinit True
    swap a b
    measure a
    measure b

Swaps the states of two qubits.

Let’s Try →

Quipper Controlled-U Gate Circuit

import Quipper

main = print_simple Preview $ do
    control <- qinit True
    target <- qinit False
    controlled control (gate_X target)
    measure control
    measure target

Applies a controlled unitary operation on a target qubit.

Let’s Try →

Quipper Phase Kickback Example

import Quipper

main = print_simple Preview $ do
    control <- qinit True
    target <- qinit False
    controlled control (gate_RZ (pi/2) target)
    measure control
    measure target

Demonstrates phase kickback using a controlled phase gate.

Let’s Try →

Quipper Quantum Teleportation with Classical Communication

import Quipper

main = print_simple Preview $ do
    alice <- qinit True
    bob <- qinit False
    msg <- qinit True
    hadamard alice
    controlled_not alice bob
    controlled_not msg alice
    hadamard msg
    c1 <- measure msg
    c2 <- measure alice
    if c2 then gate_X bob else return ()
    if c1 then gate_Z bob else return ()
    measure bob

Shows teleportation with classical measurement results affecting operations.

Let’s Try →

Frequently Asked Questions about Quipper

What is Quipper?

Quipper is a functional programming language designed for scalable quantum computing. It provides a high-level framework for constructing, manipulating, and simulating quantum circuits.

What are the primary use cases for Quipper?

Constructing scalable quantum circuits. Algorithm prototyping and analysis. Automatic circuit optimization. Quantum program simulation. Research on quantum algorithm design

What are the strengths of Quipper?

Handles very large circuits efficiently. Strong typing reduces programming errors. Functional paradigm enables concise, composable algorithms. Good for research and teaching scalable quantum computation. Supports both abstract and concrete circuit representations

What are the limitations of Quipper?

No direct access to real quantum hardware. Requires knowledge of Haskell. Steep learning curve for functional programming beginners. Limited ecosystem compared to Python-based frameworks. Primarily research-oriented, less practical for production tasks

How can I practice Quipper typing speed?

CodeSpeedTest offers 10+ real Quipper code examples for typing practice. You can measure your WPM, track accuracy, and improve your coding speed with guided exercises.

Learn Other Programming Languages

C React Python C++Rust TypeScript Kotlin PHP Java C#Ruby Mql Cql N1ql Cypher Gremlin Partiql Haskell Elixir Fsharp View all languages →

Code Sample Descriptions

Quipper Simple Quantum Circuit

import Quipper

main = print_simple Preview $ do
    q1 <- qinit False
    q2 <- qinit False
    hadamard q1
    controlled_not q1 q2
    measure q1
    measure q2

A minimal Quipper example defining a 2-qubit quantum circuit, applying Hadamard and CNOT gates.

Let’s Try →

Quipper Bell State Circuit

import Quipper

main = print_simple Preview $ do
    q1 <- qinit False
    q2 <- qinit False
    hadamard q1
    controlled_not q1 q2
    measure q1
    measure q2

Creates a Bell state using Hadamard and CNOT gates on 2 qubits.

Let’s Try →

Quipper GHZ State Circuit

import Quipper

main = print_simple Preview $ do
    q1 <- qinit False
    q2 <- qinit False
    q3 <- qinit False
    hadamard q1
    controlled_not q1 q2
    controlled_not q1 q3
    measure q1
    measure q2
    measure q3

Generates a 3-qubit GHZ state.

Let’s Try →

Quipper Quantum Teleportation Circuit

import Quipper

main = print_simple Preview $ do
    alice <- qinit False
    bob <- qinit False
    msg <- qinit True
    hadamard alice
    controlled_not alice bob
    controlled_not msg alice
    hadamard msg
    c1 <- measure msg
    c2 <- measure alice
    if c2 then gate_X bob else return ()
    if c1 then gate_Z bob else return ()
    measure bob

Implements the quantum teleportation protocol with 3 qubits.

Let’s Try →

Quipper Toffoli Gate Circuit

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 c

Applies a Toffoli (CCNOT) gate to 3 qubits.

Let’s Try →

Quipper Quantum Fourier Transform Circuit

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 qs

Implements a 3-qubit Quantum Fourier Transform.

Let’s Try →

Quipper Swap Gate Circuit

import Quipper

main = print_simple Preview $ do
    a <- qinit False
    b <- qinit True
    swap a b
    measure a
    measure b

Swaps the states of two qubits.

Let’s Try →

Quipper Controlled-U Gate Circuit

import Quipper

main = print_simple Preview $ do
    control <- qinit True
    target <- qinit False
    controlled control (gate_X target)
    measure control
    measure target

Applies a controlled unitary operation on a target qubit.

Let’s Try →

Quipper Phase Kickback Example

import Quipper

main = print_simple Preview $ do
    control <- qinit True
    target <- qinit False
    controlled control (gate_RZ (pi/2) target)
    measure control
    measure target

Demonstrates phase kickback using a controlled phase gate.

Let’s Try →

Quipper Quantum Teleportation with Classical Communication

import Quipper

main = print_simple Preview $ do
    alice <- qinit True
    bob <- qinit False
    msg <- qinit True
    hadamard alice
    controlled_not alice bob
    controlled_not msg alice
    hadamard msg
    c1 <- measure msg
    c2 <- measure alice
    if c2 then gate_X bob else return ()
    if c1 then gate_Z bob else return ()
    measure bob

Shows teleportation with classical measurement results affecting operations.

Let’s Try →

Frequently Asked Questions about Quipper

What is Quipper?

Quipper is a functional programming language designed for scalable quantum computing. It provides a high-level framework for constructing, manipulating, and simulating quantum circuits.

What are the primary use cases for Quipper?

Constructing scalable quantum circuits. Algorithm prototyping and analysis. Automatic circuit optimization. Quantum program simulation. Research on quantum algorithm design

What are the strengths of Quipper?

What are the limitations of Quipper?

How can I practice Quipper typing speed?

CodeSpeedTest offers 10+ real Quipper code examples for typing practice. You can measure your WPM, track accuracy, and improve your coding speed with guided exercises.