Spark 5.0 is running

Backend software,
done right.

A programming language for APIs, CLI tools, automation, and database applications.

31 namespaces310 built-ins2 execution engines
main.spk● ready
property set(const) idea: "bright";

func ship(idea<String>) -> String executes:
    returns `Made ${idea}.`;
end;
spark run main.spkMade bright.
VMvalidated bytecode
APIroutes + data

THE LANGUAGE

A small language
for backend work.

Write APIs, CLI tools, database applications, and libraries with the same runtime and CLI.

See the syntax
01

Explicit state

Properties say whether a value is constant or mutable. Types are checked at runtime.

02

Backend standard library

HTTP, JSON, SQLite, validation, auth, configuration, and logging are built in.

03

Source or bytecode

Run source files directly or compile them to .sbc bytecode.

RUNNABLE SYNTAX

Actual Spark code.

Each example runs in Spark 5.0.

  • Runtime-enforced types
  • Strict and safe field access
  • Helpful, source-aware errors
property set(const) name: "world";

func greet(who<String>) -> String executes:
    returns `Hello, ${who}!`;
end;

term::print(greet(name));
OUTPUTHello, world!

TOOLCHAIN

One CLI.

Run, check, build, test, format, and debug from the spark command.

01

Run

Interpreter and bytecode VM

02

Check

Runtime types and strict static checks

03

Build

Cached, verifiable .sbc artifacts

04

Test

Built-in runner and assertions

05

Edit

VS Code, LSP, and debugger

06

Ship

Signed releases and containers

INSTALL SPARK 5.0

Install Spark.

Requires Python 3.11 or newer.

macOS · Linux · WSL

Windows: extract the archive and run install-spark.ps1 in PowerShell.

SPARK 5.0

Build something.

Install Spark