Superset of Lisp and Lua Programming Language, a la JSX

Datetime:2017-04-16 05:26:36         Topic: Lua  Lisp          Share        Original >>
Here to See The Original Article!!!


This language is a superset of Lisp and Lua.


boolean.lisp , implements and , or special forms:

@import quasiquote
@import quote
@import fn
@import local
@import do
@import let
@import cond

(fn circuit_and (invariant cdr output truth)
  (cond cdr
    (let (
      car (:car cdr)
      ref (lua_name:unique "_and_value"))
        local \,ref = \,\(expize(invariant, car, output))
        if \,ref then
          \,(cond (:cdr cdr)
              (circuit_and invariant (:cdr cdr) output truth)
              `\\,truth = \,ref)
          \,truth = false

(fn expize_and (invariant cdr output)
  (let (ref (lua_name:unique "_and_bool"))
    (table.insert output `\local \,ref = true)
    (table.insert output (circuit_and invariant cdr output ref))

(fn statize_and (invariant cdr output)
  (to_stat (expize_and invariant cdr output)))

(fn circuit_or (invariant cdr output truth)
  (cond cdr
    (let (
      car (:car cdr)
      ref (lua_name:unique "_or_value"))
        if not \,truth then
          local \,ref = \,\(expize(invariant, car, output))
          if \,ref then
            \,truth = \,ref
        \,(cond (:cdr cdr)
            (circuit_or invariant (:cdr cdr) output truth)))))

(fn expize_or (invariant cdr output)
  (let (ref (lua_name:unique "_or_bool"))
    (table.insert output `\local \,ref = false)
    (table.insert output (circuit_or invariant cdr output ref))

(fn statize_or (invariant cdr output)
  (to_stat (expize_or invariant cdr output)))

  lua = {
    ["and"] = {expize=expize_and, statize=statize_and},
    ["or"] = {expize=expize_or, statize=statize_or}

Quick Start

# Requires cloned as a sibling to this repo.
git clone
git clone
cd l2l
make clean
make test
make repl

Run the following commands:

> (print "hello world")
hello world
> \print("hello world")
hello world
> (let (a 1) (print `\print(\,a)))
> (let (a 1) (print (getmetatable `\print(\,a))))

Syntax Highlighting

There is a l2l syntax highlighting package for Atom that is a work-in-progress. It is not registered to yet, so you will have to copy it to your packages directory manually:

cd ~/.atom/packages
git clone

It will take effect when you restart Atom and apply to all files with a .lisp extension.


Lisp names are mangled into Lua by replacing non lua compliant characters with lua compliant characters. (See the mangle function in l2l/reader.lua).

Lisp names can contain dashes, dots, alphabets, numbers, underscores, and many more characters, but they must not consist of two dots consecutively unless the name is .. (lua string concat) or ... (lua vararg).

This is so the compiler can mangle lua field accessor names my_table.my_subtable-with-dashes.some_key properly.


  • Mix Lisp and Lua in source code with backslash.

    \print(\(+ 1 2 3 4))
  • Quasiquoting Lua expressions.

    (table.insert output `\local \,ref = false)
  • Macro and special form aliasing.

  • Macro as modules.

    @import (let x); (x.let (y 1) (print y))
  • Custom special forms as modules.

    For example, boolean.lisp .

  • Zero-cost map , filter , reduce abstractions.

  • Implement special forms that can inline anonymous functions as macros.

  • Special forms in Lua.

    @import iterator
    map(function(x) return x + 2 end,
      filter(function(x) return x % 2 == 0 end,
        map(function(x) return x + 1 end, {1, 2, 3, 4})))

    Compiles into (nested loops collapsed into a single pass):

    local ipairs = require("l2l.iterator")
    local vector = require("l2l.vector")
    local next38,invariant37,i39 = ipairs({1,2,3,4});
    local values41 = vector();
    while i39 do
      local v40;i39,v40=next38(invariant37,i39);
      if i39 then
        v40=v40 + 1;
        if v40 % 2 == 0 then
          v40=v40 + 2;
    return values41


The Tao begot one. One begot two.


Now I do not know whether I was then a man dreaming I was a butterfly,

Or whether I am now a butterfly, dreaming I am a man.


I have put duality away, I have seen that the two worlds are one;

One I seek, One I know, One I see, One I call.

Jalaluddin Rumi

Now I do not know whether I was writing Lua inside of Lisp,

Or whether I am now writing Lisp, inside of Lua.

I have put duality away, I have seen that the two worlds are one;

One I read. One I write. One I compile. One I run.



I am the servant of the Qur'an as long as I have life.

I am the dust on the path of Muhammad, the Chosen one.

If anyone quotes anything except this from my sayings,

I am quit of him and outraged by these words.

Jalaluddin Rumi


Put your ads here, just $200 per month.