SPy: an interpreter and a compiler for a statically typed variant of Python

Summary

SPy Discord server Community calls: Monthly on the first Wednesday of the month at 17:30 CET (Europe time). Google calendar and Discord Event TL;DR: SPy is a variant of Python specifically designed to be statically compilable while retaining a lot of the "useful" dynamic parts of Python. It consists of: an interpreter (so that you can have the usual nice "development experience" that you have in Python) a compiler (for speed) The documentation is very scarce at the moment, but the best source to understand the ideas behind SPy are: Additional info can be found on: Explore SPy without installing it by exploring the playground. At the moment, the only supported installation method for SPy is by doing an "editable install" of the Git repo checkout. Three methods are available: pip, uv, or Pixi. SPy requires two kinds of dependencies: Python dependencies (managed by pip/uv/Pixi) and a native library, bdw-gc (the Boehm-Demers-Weiser garbage collector). With pip, both Python 3.12 and bdw-gc must be installed beforehand by other means. With uv, Python is managed automatically but bdw-gc still needs to be installed separately. With Pixi, all dependencies — including bdw-gc — are handled automatically, with no system packages required. The most up-to-date version of the requirements and the installation steps is the GitHub Actions workflow. Prerequisites: Python 3.12, and bdw-gc (libgc-dev on Debian/Ubuntu). cd /path/to/spy/ python3 -m venv .venv . .venv/bin/activate pip install -e .[dev] # build the `libspy` runtime library make -C spy/libspy Prerequisite: bdw-gc (libgc-dev on Debian/Ubuntu). uv venv .venv -p 3.12 . .venv/bin/activate uv pip install -e .[dev] make -C spy/libspy No prerequisites — Pixi manages all dependencies, including bdw-gc. pixi run make-libspy pixi shell From outside the repo, you can also activate the environment with: Other useful commands (with tab auto-completion): pixi run ruff-format pixi run ruff-format-check pixi run ruff-check pixi run doc-ser...