Welcome to the Sprite documentation!

Sprite is an implementation of the Functional-Logic Programming language Curry with a Python API. It combines Functional, Logic, and Imperative programming in a single environment. Status says what Sprite is today.

Learn More

Curry Homepage	Curry Tutorial		Curry Live Demo
Python Homepage	Python Tutorial	Interactive Python Tutorial	Python Live Demo

Contents

• Preface
  • Important Notes
  • Acknowledgements
• Status
  • The front end
  • The backend
  • The interpreter modes
  • The typed boundary
  • The performance record
  • Known limits
  • What is experimental
  • Where the plan lives
• Quickstart
  • Quick Install
  • Running Curry Programs
  • Python API Quickstart
• Examples
  • Run Curry programs with sprite-exec
  • Run a Curry program from Python
  • Compile Curry code at run time
  • Inspect Curry objects from Python
  • Save a compiled Curry module
  • N queens with set functions
  • Sudoku by search
  • Cryptarithms: SEND + MORE = MONEY
  • Regular expressions by non-determinism
  • An expression parser from functional patterns
  • A package dependency solver
  • Scheduling tasks fed from Python data
  • Type inference by unification
  • Text extraction with functional patterns, compiled at run time
  • Blocks World as a command-line application
  • C++ compile time
• Introduction
  • Major Features of Sprite
  • Project Layout
  • The Curry Compilation Pipeline
• Installation Guide
  • Easy Installation
  • Manual Installation
  • Installing and running without a C++ compiler
  • Building Documentation
  • Installing Syntax Files
  • Software Compatibility
• Developer Setup
  • Quick start
  • The steps
  • The clean environment
  • Layout of the prefix
  • Options
  • After the setup
  • Notes
• Developer Notes
  • The reference backend
  • The depth bounds of the toolchain
• The Command-Line Interface
  • Environment Variables
  • Starting Python
  • sprite-exec
  • sprite-make
• The REPL
  • Commands of the REPL
  • A session with a module
  • Defaulting in the REPL
  • Free variables in the REPL
  • IO goals in the REPL
  • Errors in the REPL
  • Limits of the REPL
• The Python Interface
  • System Architecture
  • The curry Package
  • Using the API
• API Reference
  • The curry Package
  • Module Index
• Performance
  • The harness
  • The records
  • The step cost
  • Nightly history
  • Other systems
• Appendix: Curry Primer
  • The Curry Type System
  • Curry Syntax
  • Curry Semantics
• Index