首頁 探索 說明
註冊 登入
FangSoftSoft
/
sectorlisp
镜像来自 https://github.com/jart/sectorlisp.git
2
0
複刻 0
Files 問題管理 0 Wiki

暫無描述

分支: reform
分支列表 標籤列表
sectorlisp
ZIP TAR.GZ
Justine Tunney 106c07c25a Create reform branch (429 bytes) 3 年之前
bin a557787f5f shave two bytes 3 年之前
test d50e78162d replace undefined function 3 年之前
.gitignore a561e031ae Initial import 4 年之前
LICENSE 4233210a86 Remove old code and update documentation 3 年之前
Makefile c549796f78 Make C impl match latest asm tactics 3 年之前
README.md 4233210a86 Remove old code and update documentation 3 年之前
bestline.c 05d2bcbfd9 Improve LISP/C/ASM Rosetta Stone consistency 3 年之前
bestline.h 05d2bcbfd9 Improve LISP/C/ASM Rosetta Stone consistency 3 年之前
lisp.c 106c07c25a Create reform branch (429 bytes) 3 年之前
lisp.lisp 106c07c25a Create reform branch (429 bytes) 3 年之前
sectorlisp.S 106c07c25a Create reform branch (429 bytes) 3 年之前

README.md

sectorlisp

sectorlisp is a 512-byte implementation of LISP that's able to bootstrap John McCarthy's meta-circular evaluator on bare metal.

Yo dawg, I heard you like LISP so I put a LISP in your LISP so you can eval while you eval

Overview

LISP has been described as the Maxwell's equations of software. Yet there's been very little focus to date on reducing these equations to their simplest possible form. Even the original LISP paper from the 1960's defines LISP with nonessential elements, e.g. LABEL.

This project aims to solve that by doing three things:

  1. We provide a LISP implementation that's written in LISP, as a single pure expression, using only the essential functions of the language. See lisp.lisp. It's the same meta-circular evaluator in John McCarthy's paper from the 1960's, except with its bugs fixed, dependencies included, and syntactic sugar removed.

  2. We provide a readable portable C reference implementation to show how the meta-circular evaluator can be natively bootstrapped on POSIX conforming platforms, with a pleasant readline-like interface. See lisp.c.

  3. We provide a 512-byte i8086 implementation of LISP that boots from BIOS on personal computers. See sectorlisp.S. To the best of our knowledge, this is the tiniest true LISP implementation to date.

Binary Footprint Comparison

Getting Started

See lisp.lisp for code examples that you can copy and paste into your LISP REPL.

You can run the C implementation as follows:

$ make
$ ./lisp

After running make you should see a sectorlisp.bin file, which is a master boot record you can put on a flopy disk and boot from BIOS. If you would prefer to run it in an emulator, we recommend using Das Blinkenlights.

curl --compressed https://justine.lol/blinkenlights/blinkenlights-latest.com >blinkenlights.com
chmod +x blinkenlights.com
./blinkenlights.com -rt sectorlisp.bin

Alternatively you may use QEMU as follows:

qemu-system-i386 -nographic -fda sectorlisp.bin

Further information may be found on our wiki.

Demo

booting sectorlisp in emulator

The video above demonstrates how to boot sectorlisp in the blinkenlights emulator, to bootstrap the meta-circular evaluator, which evaluates a program for finding the first element in a tree.

You can watch the full demo on YouTube.