Guppy Language Guide

This guide is intended to provide a step by step walkthrough of the major features of the Guppy programming language. It contains explanations of the key Guppy data types, functions and control flow, as well as the ownership model and static compilation.

If you are new to Guppy then first check out our getting started guide to install Guppy and start writing your first programs.

---

• Data types
  • Arrays
  • Tuples
  • Structs
  • Angles
  • Type Aliases
• Functions
  • Introduction
  • Guppy functions are first-class values
  • Guppy functions can be higher-order functions
  • Function overloading & static dispatch
• Type Argument Syntax
  • Bounds
  • Type Arguments to Classes
  • Type aliases
  • Caveats
• Control flow
  • Conditionals
  • Loops and recursion
  • Further control flow features
• Static compilation and typing
  • Introduction
  • Type checking
  • Generics
• Differences between Guppy and Python
  • Lists vs Arrays
  • Memory Management
  • Classes vs Structs
  • Integers
  • I/O
  • Exceptions
  • Parallel Execution Semantics
• Ownership and Linear Types
  • Introduction
  • Linear types
  • Introduction to ownership and scope
  • Borrowing
  • No implicit discarding of qubits
  • Advanced Topics
  • Summary of ownership rules
• Measurements
• Comptime
  • Introduction
  • Comptime expressions
  • Compile time arguments
  • Comptime functions
• Libraries
  • Introduction
  • Using libraries and stubs
  • Linking and visibility
  • Structs and enums
• Custom Metadata
• Protocols
  • Defining a protocol
  • Example: State Preparation
  • Callable
• Random Number Generation
  • Platform RNG
  • Native RNG
  • RNG state is mutable
  • Which implementation to use?
• Modifiers
  • Syntax
  • Modifiers and variable scope

---

See also the gallery of example programs showcasing various quantum algorithms implemented in Guppy. This allows one to see the above language features within a general context.