Urn: A Lisp implementation for Lua

Urn is a new language developed by SquidDev, and demhydraz. Urn is a Lisp dialect with a focus on minimalism which compiles to Lua.

What?

• A minimal¹ Lisp implementation, with full support for compile time code execution and macros.
• Support for Lua 5.1, 5.2 and 5.3. Should also work with LuaJIT.
• Lisp-1 scoping rules (functions and data share the same namespace).
• Influenced by a whole range of Lisp implementations, including Common Lisp and Clojure.
• Produces standalone, optimised Lua files: no dependencies on a standard library.

¹: Minimalism is an implementation detail.

Features

Pattern matching

> (case '("x" (foo 2 3))
.   [(string?  @ ?x) (.. "Got a string " x)]
.   [("x" (foo . ?x)) (.. "Got some remaining values " (pretty x))])
out = "Got some remaining values (2 3)"

Various looping constructs

> (loop [(o '())
.        (l '(1 2 3))]
.   [(empty? l) o]
.   (recur (cons (car l) o) (cdr l)))
out = (3 2 1)

Powerful assertion and testing framework

> (import test ())
out = nil
> (affirm (eq? '("foo" "bar" "")
.              (string/split "foo-bar" "-")))
[ERROR] <stdin>:1 (compile#111{split,temp}:46): Assertion failed
(eq? (quote ("foo" "bar" "")) (string/split "foo-bar" "-"))
     |                        |
     |                        ("foo" "bar")
     ("foo" "bar" "")

First-class support for Lua tables

> { :foo 1
.   :bar 2 }
out = {"bar" 2 "foo" 1}

Friendly error messages

> (]
[ERROR] Expected ')', got ']'
  => <stdin>:[1:2 .. 1:2] ("]")
 1 │ (]
   │ ^... block opened with '('
 1 │ (]
   │  ^ ']' used here
> 

Getting started

We have a getting started guide to help you get set up. Or you can clone the repo and jump right in!

The website also contains documentation for all functions and macros, should you need to check how something works.

If you have any questions, would like to contribute or just feel like chatting, do join us in the #urn channel on FreeNode.

Tutorial

• An Introduction to Urn
• Guess the number
• Finding errors
• Macros and more
• How do I do X?
• Integrating with Lua
• The compiler API

Reference

• Syntax
• Special forms
• CLI
• The REPL

Recent News

• Version 0.7.0 released
• Version 0.6.1 released
• Version 0.6.0 released

All libraries

• Symbol index
• compiler/helpers
• compiler
• compiler/nodes
• compiler/optimise
• compiler/pass
• compiler/pattern
• compiler/resolve
• control/comparison
• control/prompt
• control/setq
• core/base
• core/binders
• core/demand
• core/list
• core/match
• core/method
• core/prelude
• core/string
• core/symbol
• core/table
• core/type
• data/alist
• data/bitset
• data/format
• data/function
• data/graph
• data/set
• data/struct
• io/argparse
• io/foreign
• io
• io/term
• lua/basic
• lua/bit32
• lua/coroutine
• lua/debug
• lua/io
• lua/math
• lua/os
• lua/package
• lua/string
• lua/table
• lua/utf8
• luajit/bit
• luajit/ffi
• luajit/jit
• math/bignum
• math/bit32
• math/complex
• math
• math/matrix
• math/numerics
• math/rational
• math/vector
• prelude
• test/assert
• test/check
• test