Domů Procházet Nápověda
Registrovat se Přihlásit se
FangSoftSoft
/
sectorlisp
zrcadlo https://github.com/jart/sectorlisp.git
2
0
Rozštěpit 0
Soubory Úkoly 0 Wiki

Bez popisu

Strom: 28062acdc9
Větve Značky
sectorlisp
ZIP TAR.GZ
Hikaru Ikuta 28062acdc9 Add I/O capability (#22) před 3 roky
bin 28062acdc9 Add I/O capability (#22) před 3 roky
test 28062acdc9 Add I/O capability (#22) před 3 roky
.gitignore a561e031ae Initial import před 4 roky
LICENSE 4233210a86 Remove old code and update documentation před 3 roky
Makefile c549796f78 Make C impl match latest asm tactics před 3 roky
README.md 4233210a86 Remove old code and update documentation před 3 roky
bestline.c 05d2bcbfd9 Improve LISP/C/ASM Rosetta Stone consistency před 3 roky
bestline.h 05d2bcbfd9 Improve LISP/C/ASM Rosetta Stone consistency před 3 roky
lisp.c 17bd5be818 Make intern function more readable před 3 roky
lisp.lisp 2c760a29e4 Fix extra arg in LISP evaluator před 3 roky
sectorlisp.S 28062acdc9 Add I/O capability (#22) před 3 roky

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.