Tree-walking interpreter implementation of santa-lang, written in Rust.
santa-lang is a functional, expression-oriented programming language designed for solving Advent of Code puzzles. This Rust implementation provides:
- Tree-walking interpreter with tail-call optimization (TCO)
- Persistent immutable data structures
- First-class functions and closures
- Lazy sequences and infinite ranges
- Pattern matching with guards
- 70+ built-in functions
- AoC runner with automatic input fetching
Multiple runtime targets are available: CLI, WebAssembly, AWS Lambda, PHP extension, and Jupyter kernel.
# Implementation-specific image
docker pull ghcr.io/eddmann/santa-lang-comet:cli-latest
# Generic CLI image (also published by this project)
docker pull ghcr.io/eddmann/santa-lang-cli:latestnpm install @eddmann/santa-lang-wasmDownload pre-built binaries from GitHub Releases:
| Platform | Artifact |
|---|---|
| Linux (x86_64) | santa-lang-comet-cli-{version}-linux-amd64 |
| Linux (ARM64) | santa-lang-comet-cli-{version}-linux-arm64 |
| macOS (Intel) | santa-lang-comet-cli-{version}-macos-amd64 |
| macOS (Apple Silicon) | santa-lang-comet-cli-{version}-macos-arm64 |
| Artifact | Description |
|---|---|
santa-lang-comet-wasm-{version}.tgz |
WebAssembly npm package |
santa-lang-comet-lambda-{version}.zip |
AWS Lambda layer |
santa-lang-comet-php-{version}-linux-amd64.so |
PHP extension |
santa-lang-comet-jupyter-{version}-{platform} |
Jupyter kernel |
# Run a solution
santa-cli solution.santa
# Run tests defined in a solution
santa-cli -t solution.santa
# Evaluate inline code
santa-cli -e '1 + 2'
# Interactive REPL
santa-cli -r
# Format source code
santa-cli -f solution.santa # format to stdout
santa-cli --fmt-write solution.santa # format in place
santa-cli --fmt-check solution.santa # check if formatted (for CI)Here's a complete Advent of Code solution (2015 Day 1):
input: read("aoc://2015/1")
part_one: {
input |> fold(0) |floor, direction| {
if direction == "(" { floor + 1 } else { floor - 1 };
}
}
part_two: {
zip(1.., input) |> fold(0) |floor, [index, direction]| {
let next_floor = if direction == "(" { floor + 1 } else { floor - 1 };
if next_floor < 0 { break index } else { next_floor };
}
}
test: {
input: "()())"
part_one: -1
part_two: 5
}
Key language features shown:
input:/part_one:/part_two:- AoC runner sections|>- Pipeline operator (thread value through functions)fold- Reduce with early exit support viabreaktest:- Inline test cases with expected values
Requires Rust 1.85+ or use Docker:
# Build CLI
cargo build --release --bin santa-cli
# Run tests
make test
# Run linting
make lintRun make help to see all available targets:
make help # Show all targets
make shell # Interactive shell in Docker build environment
make can-release # Run all CI checks (lint + test)
make lint # Run rustfmt and clippy checks
make test # Run all tests (lang, CLI, WASM)
make fmt # Format code# Lambda runtime
make lambda/build
make lambda/serve # Serve locally
# PHP extension
make php-ext/build
make php-ext/test
# Jupyter kernel
make jupyter/build
make jupyter/run # Start notebook server
# Benchmarking
make bench/build # Build benchmark Docker image
make bench/run # Run hyperfine benchmarks
make bench/compare V1=main V2=HEAD # Compare versions├── lang/ # Core language library
│ └── src/
│ ├── lexer/ # Tokenization
│ ├── parser/ # AST construction
│ └── evaluator/ # Tree-walking interpreter
├── runtime/
│ ├── cli/ # Command-line interface
│ ├── wasm/ # WebAssembly target
│ ├── lambda/ # AWS Lambda runtime
│ ├── php-ext/ # PHP extension
│ └── jupyter/ # Jupyter kernel
└── benchmarks/ # Performance benchmarks
- eddmann/santa-lang - Language specification/documentation
- eddmann/santa-lang-editor - Web-based editor
- eddmann/santa-lang-prancer - Tree-walking interpreter in TypeScript (Prancer)
- eddmann/santa-lang-comet - Tree-walking interpreter in Rust (Comet)
- eddmann/santa-lang-blitzen - Bytecode VM in Rust (Blitzen)