spaik

Crates.iospaik
lib.rsspaik
version0.3.1
sourcesrc
created_at2021-01-26 16:31:39.088838
updated_at2023-06-08 12:09:11.817317
descriptionThe SPAIK Programming Language
homepagehttps://github.com/snyball/spaik
repositoryhttps://github.com/snyball/spaik
max_upload_size
id346931
size488,673
Jonas Møller (snyball)

documentation

README

The SPAIK LISP Programming Language

SPAIK is a dynamic extension language for Rust. It implements macros, garbage collection, iterators, continuations, async/await and wraps it up in a (hopefully) easy to use high-level Rust API.

This README contains many shorts snippets showing how SPAIK is used, while you can find complete examples in the examples directory, and the more detailed API docs can be found at docs.rs.

You can also try SPAIK directly in your browser!

Basic usage

For basic usage, all you need are the eval and exec methods (exec is just eval but it throws away the result to aid type-inference.)

let mut vm = Spaik::new();
vm.exec(r#"(println "Hello, World!")"#)?;
vm.set("*global*", 3);
let res: i32 = vm.eval(r#"(+ 1 *global*)"#)?;
assert_eq!(res, 4);
// Equivalent to exec
let _: Ignore = vm.eval(r#"(+ 1 *global*)"#)?;

Loading Code

You probably don't want to store all your SPAIK code as embedded strings in Rust, so you can of course load SPAIK scripts from the filesystem.

vm.add_load_path("my-spaik-programs");
vm.load("stuff");

The add_load_path method adds the given string to the global sys/load-path variable, which is just a SPAIK vector. You can mutate this from SPAIK too:

(eval-when-compile (push sys/load-path "my-dependencies"))
(load dependency)

But notice that we had to use (eval-when-compile ...) when adding the new path, because (load ...) also runs during compilation.

Exporting functions to SPAIK

It is often useful for functions to be called from both Rust and Lisp, here the function add_to is being defined as both a Rust function in the global scope, and as a SPAIK function in Fns. We can then choose to register the Fns::add_to function in the VM.

use spaik::prelude::*;

struct Fns;

#[spaikfn(Fns)]
fn add_to(x: i32) -> i32 {
    x + 1
}

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let mut vm = Spaik::new();
    println!("Calling from Rust: {}", add_to(2));
    vm.register(Fns::add_to);
    vm.exec(r#"(let ((r (add-to 2))) (println "Calling Rust from SPAIK: {r}"))"#)?;
    Ok(())
}

Command pattern, or "call-by-enum"

One ergonomic way to interact with a dynamic PL VM from Rust is to use the command pattern, which you can think of as "call-by-enum." The full example can be found in examples/command-pattern-multi-threaded

enum Cmd {
    Add(i32),
    Subtract(i32),
}

// We can fork the vm onto its own thread first, this takes a Spaik and
// returns a thread-safe SpaikPlug handle.
let mut vm = vm.fork::<Msg, Cmd>();

vm.cmd(Cmd::Add(1337));
vm.cmd(Cmd::Add(31337));

// Loop until all commands have been responded to
while recvd < 2 {
    processing();
    while let Some(p) = vm.recv() {
        vm.fulfil(p, 31337);
        recvd += 1;
    }
}

// Join with the VM on the same thread again, turning the SpaikPlug handle
// back into a Spaik.
let mut vm = vm.join();
let glob: i32 = vm.eval("*global*").unwrap();
(define *global* 0)

(defun init ())

(defun add (x)
  (let ((res (await '(test :id 1337))))
    (set *global* (+ *global* res x 1))))

When using call-by-enum in a single-threaded setup, use the Spaik::query method instead, which immediately returns the result. The cmd method also exists for Spaik, but returns Result<()>. This is parallel to the eval / exec split, and is done for the same reason (type inference.)

The html macro

Because of how easy it is to create new syntax constructs in LISPs, you can use SPAIK as a rudimentary html templating engine.

(load html)
(html (p :class 'interjection "Interjection!"))
<p class="interjection">Interjection!</p>

Internal Architecture

SPAIK code is bytecode compiled and runs on a custom VM called the Rodent VM (R8VM,) which uses a moving tracing garbage collector. For more detailed information about its internals, see HACKING.md.

Commit count: 714

cargo fmt