https://github.com/idorobots/spartan

A small Lisp dialect that serves me as a test bed for programming language features.
https://github.com/idorobots/spartan

actor-model compiler compiler-design concurrency continuations language-design lisp-dialect programming-language rules-engine scheme

Last synced: 13 days ago
JSON representation

A small Lisp dialect that serves me as a test bed for programming language features.

• Host: GitHub
• URL: https://github.com/idorobots/spartan
• Owner: Idorobots
• License: mit
• Created: 2014-07-28T11:03:34.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2024-09-16T21:15:28.000Z (4 months ago)
• Last Synced: 2024-11-02T02:21:22.529Z (2 months ago)
• Topics: actor-model, compiler, compiler-design, concurrency, continuations, language-design, lisp-dialect, programming-language, rules-engine, scheme
• Language: Racket
• Homepage:
• Size: 5.26 MB
• Stars: 14
• Watchers: 3
• Forks: 3
• Open Issues: 40
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        


Spartan


Spartan is a small Lisp dialect that serves me as a test bed for programming language features.

Currently implemented features are:

- executable language grammar defined as a (PEG parser generator)-generated parser,

- recursion by way of `letrec` conversion with strongly conected components reordering & assignment conversions,

- a first-class module system with a shorthand accessor syntax (`module`, `structure` and `foo.bar`).

- continuations - both delimited (`shift` & `reset`) as well as undelimited (`letcc`),

- exception handling with restarts (`raise` & `handle`) relying on the continuations,

- actor model (`spawn`, `send`, `recv`),

- a built-in, Rete-based Rule Based System (`signal!`, `assert!`, `retract!`, `select` and `notify-whenever`),

- two compilation targets (`ES6`, `r7rs`),

- extensive compilation error handling with precise error locations and colored terminal output,

- a CLI tool `sprtn` with support for `compile`, `run` and `repl` commands,

- an interactive REPL with a twist,

- Unicode support in identifiers.

See [here](examples) for some usage examples. You can run these examples with:



## Compiler

Run `./build.sh` to build the compiler CLI.

The compiler is far from being useful, it performs only rudimentary low-hanging fruit optimizations & validations. It loosely follows the nanopass framework, with currently implemented passes being:

- parsing,

- built-in macro expansion,

- syntax tree elaboration,

- implicit body handling,

- quasiquote expansion,

- constant value annotation,

- free-variable annotation,

- binding form analysis,

- syntax tree validation,

- alpha conversion,

- built-in function inlining,

- user function inlining,

- constant propagation,

- constant folding,

- common subexpression elimination,

- copy propagation,

- dead code elimination,

- `letrec` binding reordering,

- `letrec` conversion,

- continuation passing style transformation,

- flat closure conversion,

- global value hoisting,

- target-safe name mangling,

- target code generation.

## REPL

The REPL supports a traditional flow of read-eval-print - each line entered is executed automatically and the results are printed immediately:



There's also a _basic_ twist - the REPL accepts a full listing and allows editing it line by line: