3 [![Build Status](https://travis-ci.org/kanaka/mal.svg?branch=master)](https://travis-ci.org/kanaka/mal)
7 **1. Mal is a Clojure inspired Lisp interpreter**
9 **2. Mal is implemented in 74 languages**
11 * **Ada** - *created by [Chris Moore](https://github.com/zmower)*
12 * **GNU awk** - *created by [Miutsuru Kariya](https://github.com/kariya-mitsuru)*
14 * **BASIC** (C64 and QBasic)
16 * **C++** - *created by [Stephen Thirlwall](https://github.com/sdt)*
18 * **ChucK** - *created by [Vasilij Schneidermann](https://github.com/wasamasa)*
19 * **Common Lisp** - *created by [Iqbal Ansari](https://github.com/iqbalansari)*
20 * **Clojure** (Clojure and ClojureScript)
22 * **Crystal** - *created by [Linda_pp](https://github.com/rhysd)*
23 * **D** - *created by [Dov Murik](https://github.com/dubek)*
24 * **Dart** - *created by [Harry Terkelsen](https://github.com/hterkelsen)*
25 * **Elixir** - *created by [Martin Ek](https://github.com/ekmartin)*
26 * **Elm** - *created by [Jos van Bakel](https://github.com/c0deaddict)*
27 * **Emacs Lisp** - *created by [Vasilij Schneidermann](https://github.com/wasamasa)*
28 * **Erlang** - *created by [Nathan Fiedler](https://github.com/nlfiedler)*
29 * **ES6** (ECMAScript 6 / ECMAScript 2015)
30 * **F#** - *created by [Peter Stephens](https://github.com/pstephens)*
31 * **Factor** - *created by [Jordan Lewis](https://github.com/jordanlewis)*
32 * **Fantom** - *created by [Dov Murik](https://github.com/dubek)*
33 * **Forth** - *created by [Chris Houser](https://github.com/chouser)*
36 * **GNU Guile** - *created by [Mu Lei](https://github.com/NalaGinrut).*
37 * **GNU Smalltalk** - *created by [Vasilij Schneidermann](https://github.com/wasamasa)*
39 * **Haxe** (Neko, Python, C++ and JavaScript)
41 * **Io** - *created by [Dov Murik](https://github.com/dubek)*
43 * **JavaScript** ([Online Demo](http://kanaka.github.io/mal))
45 * **Kotlin** - *created by [Javier Fernandez-Ivern](https://github.com/ivern)*
46 * **LiveScript** - *created by [Jos van Bakel](https://github.com/c0deaddict)*
47 * **Logo** - *created by [Dov Murik](https://github.com/dubek)*
51 * **Matlab** (GNU Octave and MATLAB)
52 * **[miniMAL](https://github.com/kanaka/miniMAL)**
53 * **NASM** - *created by [Ben Dudson](https://github.com/bendudson)*
54 * **Nim** - *created by [Dennis Felsing](https://github.com/def-)*
57 * **OCaml** - *created by [Chris Houser](https://github.com/chouser)*
59 * **Perl 6** - *created by [Hinrik Örn Sigurðsson](https://github.com/hinrik)*
61 * **Picolisp** - *created by [Vasilij Schneidermann](https://github.com/wasamasa)*
62 * **PL/pgSQL** (Postgres)
66 * **Python** (2.X and 3.X)
70 * **Rexx** - *created by [Dov Murik](https://github.com/dubek)*
74 * **Scheme (R7RS)** - *created by [Vasilij Schneidermann](https://github.com/wasamasa)*
75 * **Skew** - *created by [Dov Murik](https://github.com/dubek)*
76 * **Swift** - *created by [Keith Rollin](https://github.com/keith-rollin)*
78 * **Tcl** - *created by [Dov Murik](https://github.com/dubek)*
79 * **TypeScript** - *created by [Masahiro Wakame](https://github.com/vvakame)*
80 * **VHDL** - *created by [Dov Murik](https://github.com/dubek)*
81 * **Vimscript** - *created by [Dov Murik](https://github.com/dubek)*
82 * **Visual Basic.NET**
83 * **WebAssembly** (wasm)
84 * **Yorick** - *created by [Dov Murik](https://github.com/dubek)*
87 **3. Mal is a learning tool**
89 Each implementation of mal is separated into
90 11 incremental, self-contained (and testable) steps that demonstrate
91 core concepts of Lisp. The last step is capable of self-hosting
92 (running the mal implementation of mal). See the [make-a-lisp process
93 guide](process/guide.md).
95 The make-a-lisp steps are:
97 * [step0_repl](process/guide.md#step0)
98 * [step1_read_print](process/guide.md#step1)
99 * [step2_eval](process/guide.md#step2)
100 * [step3_env](process/guide.md#step3)
101 * [step4_if_fn_do](process/guide.md#step4)
102 * [step5_tco](process/guide.md#step5)
103 * [step6_file](process/guide.md#step6)
104 * [step7_quote](process/guide.md#step7)
105 * [step8_macros](process/guide.md#step8)
106 * [step9_try](process/guide.md#step9)
107 * [stepA_mal](process/guide.md#stepA)
109 Each make-a-lisp step has an associated architectural diagram. That elements that new for that step are highlighted in red. Here is the final diagram for [step A](process/guide.md#stepA):
111 ![stepA_mal architecture](process/stepA_mal.png)
113 If you are interesting in creating a mal implementation (or just
114 interested in using mal for something), please drop by the #mal
115 channel on freenode. In addition to the [make-a-lisp process
116 guide](process/guide.md) there is also a [mal/make-a-lisp
117 FAQ](docs/FAQ.md) where I attempt to answer some common questions.
122 Mal was presented publicly for the first time in a lightning talk at
123 Clojure West 2014 (unfortunately there is no video). See
124 examples/clojurewest2014.mal for the presentation that was given at the
125 conference (yes, the presentation is a mal program).
127 At Midwest.io 2015, Joel Martin gave a presentation on Mal titled
128 "Achievement Unlocked: A Better Path to Language Learning".
129 [Video](https://www.youtube.com/watch?v=lgyOAiRtZGw),
130 [Slides](http://kanaka.github.io/midwest.io.mal/).
132 More recently Joel gave a presentation on "Make Your Own Lisp Interpreter
133 in 10 Incremental Steps" at LambdaConf 2016:
134 [Part 1](https://www.youtube.com/watch?v=jVhupfthTEk),
135 [Part 2](https://www.youtube.com/watch?v=X5OQBMGpaTU),
136 [Part 3](https://www.youtube.com/watch?v=6mARZzGgX4U),
137 [Part 4](https://www.youtube.com/watch?v=dCO1SYR5kDU),
138 [Slides](http://kanaka.github.io/lambdaconf/).
140 ## Building/running implementations
142 The simplest way to run any given implementation is to use docker.
143 Every implementation has a docker image pre-built with language
144 dependencies installed. You can launch the REPL using a convenient
145 target in the top level Makefile (where IMPL is the implementation
146 directory name and stepX is the step to run):
149 make DOCKERIZE=1 "repl^IMPL^stepX"
150 # OR stepA is the default step:
151 make DOCKERIZE=1 "repl^IMPL"
157 The Ada implementation was developed with GNAT 4.9 on debian. It also
158 compiles unchanged on windows if you have windows versions of git,
159 GNAT and (optionally) make. There are no external dependencies
160 (readline not implemented).
170 The GNU awk implementation of mal has been tested with GNU awk 4.1.1.
174 gawk -O -f stepX_YYY.awk
184 ### BASIC (C64 and QBasic)
186 The BASIC implementation uses a preprocessor that can generate BASIC
187 code that is compatible with both C64 BASIC (CBM v2) and QBasic. The
188 C64 mode has been tested with
189 [cbmbasic](https://github.com/kanaka/cbmbasic) (the patched version is
190 currently required to fix issues with line input) and the QBasic mode
191 has been tested with [qb64](http://www.qb64.net/).
193 Generate C64 code and run it using cbmbasic:
201 Generate QBasic code and load it into qb64:
205 make MODE=qbasic stepX_YYY.bas
209 Thanks to [Steven Syrek](https://github.com/sjsyrek) for the original
210 inspiration for this implementation.
215 The C implementation of mal requires the following libraries (lib and
216 header packages): glib, libffi6, libgc, and either the libedit or GNU readline
227 The C++ implementation of mal requires g++-4.9 or clang++-3.5 and
228 a readline compatible library to build. See the `cpp/README.md` for
242 The C# implementation of mal has been tested on Linux using the Mono
243 C# compiler (mcs) and the Mono runtime (version 2.10.8.1). Both are
244 required to build and run the C# implementation.
254 The ChucK implementation has been tested with ChucK 1.3.5.2.
263 The implementation has been tested with SBCL, CCL, CMUCL, GNU CLISP, ECL and
264 Allegro CL on Ubuntu 16.04 and Ubuntu 12.04, see
265 the [README](common-lisp/README.org) for more details. Provided you have the
266 dependencies mentioned installed, do the following to run the implementation
276 For the most part the Clojure implementation requires Clojure 1.5,
277 however, to pass all tests, Clojure 1.8.0-RC4 is required.
281 lein with-profile +stepX trampoline run
287 sudo npm install -g coffee-script
294 The Crystal implementation of mal has been tested with Crystal 0.26.1.
298 crystal run ./stepX_YYY.cr
300 make # needed to run tests
306 The D implementation of mal was tested with GDC 4.8. It requires the GNU
317 The Dart implementation has been tested with Dart 1.20.
326 The Emacs Lisp implementation of mal has been tested with Emacs 24.3
327 and 24.5. While there is very basic readline editing (`<backspace>`
328 and `C-d` work, `C-c` cancels the process), it is recommended to use
333 emacs -Q --batch --load stepX_YYY.el
334 # with full readline support
335 rlwrap emacs -Q --batch --load stepX_YYY.el
340 The Elixir implementation of mal has been tested with Elixir 1.0.5.
345 # Or with readline/line editing functionality:
351 The Elm implementation of mal has been tested with Elm 0.18.0
361 The Erlang implementation of mal requires [Erlang/OTP R17](http://www.erlang.org/download.html)
362 and [rebar](https://github.com/rebar/rebar) to build.
368 MAL_STEP=stepX_YYY rebar compile escriptize # build individual step
372 ### ES6 (ECMAScript 6 / ECMAScript 2015)
374 The ES6 implementation uses the [babel](https://babeljs.io) compiler
375 to generate ES5 compatible JavaScript. The generated code has been
376 tested with Node 0.12.4.
381 node build/stepX_YYY.js
387 The F# implementation of mal has been tested on Linux using the Mono
388 F# compiler (fsharpc) and the Mono runtime (version 3.12.1). The mono C#
389 compiler (mcs) is also necessary to compile the readline dependency. All are
390 required to build and run the F# implementation.
400 The Factor implementation of mal has been tested with Factor 0.97
401 ([factorcode.org](http://factorcode.org)).
405 FACTOR_ROOTS=. factor -run=stepX_YYY
410 The Fantom implementation of mal has been tested with Fantom 1.0.70.
414 make lib/fan/stepX_YYY.pod
427 The Go implementation of mal requires that go is installed on on the
428 path. The implementation has been tested with Go 1.3.1.
439 The Groovy implementation of mal requires Groovy to run and has been
440 tested with Groovy 1.8.6.
445 groovy ./stepX_YYY.groovy
452 guile -L ./ stepX_YYY.scm
457 The Smalltalk implementation of mal has been tested with GNU Smalltalk 3.2.91.
466 The Haskell implementation requires the ghc compiler version 7.10.1 or
467 later and also the Haskell parsec and readline (or editline) packages.
475 ### Haxe (Neko, Python, C++ and JavaScript)
477 The Haxe implementation of mal requires Haxe version 3.2 to compile.
478 Four different Haxe targets are supported: Neko, Python, C++, and
488 python3 ./stepX_YYY.py
499 The Hy implementation of mal has been tested with Hy 0.13.0.
508 The Io implementation of mal has been tested with Io version 20110905.
517 The Java implementation of mal requires maven2 to build.
522 mvn -quiet exec:java -Dexec.mainClass=mal.stepX_YYY
524 mvn -quiet exec:java -Dexec.mainClass=mal.stepX_YYY -Dexec.args="CMDLINE_ARGS"
537 The Julia implementation of mal requires Julia 0.4.
546 The Kotlin implementation of mal has been tested with Kotlin 1.0.
551 java -jar stepX_YYY.jar
556 The LiveScript implementation of mal has been tested with LiveScript 1.5.
561 node_modules/.bin/lsc stepX_YYY.ls
566 The Logo implementation of mal has been tested with UCBLogo 6.0.
575 The Lua implementation of mal has been tested with Lua 5.2. The
576 implementation requires that luarocks and the lua-rex-pcre library
581 make # to build and link linenoise.so
587 Running the mal implementation of mal involves running stepA of one of
588 the other implementations and passing the mal step to run as a command
593 IMPL_STEPA_CMD ../mal/stepX_YYY.mal
606 The NASM implementation of mal is written for x86-64 Linux, and has been tested
607 with Linux 3.16.0-4-amd64 and NASM version 2.11.05.
617 The Nim implementation of mal has been tested with Nim 0.17.0.
629 The Object Pascal implementation of mal has been built and tested on
630 Linux using the Free Pascal compiler version 2.6.2 and 2.6.4.
640 The Objective C implementation of mal has been built and tested on
641 Linux using clang/LLVM 3.6. It has also been built and tested on OS
658 ### MatLab (GNU Octave and MATLAB)
660 The MatLab implementation has been tested with GNU Octave 4.2.1.
661 It has also been tested with MATLAB version R2014a on Linux. Note that
662 MATLAB is a commercial product.
667 octave -q --no-gui --no-history --eval "stepX_YYY();quit;"
668 matlab -nodisplay -nosplash -nodesktop -nojvm -r "stepX_YYY();quit;"
669 # OR with command line arguments
670 octave -q --no-gui --no-history --eval "stepX_YYY('arg1','arg2');quit;"
671 matlab -nodisplay -nosplash -nodesktop -nojvm -r "stepX_YYY('arg1','arg2');quit;"
676 [miniMAL](https://github.com/kanaka/miniMAL) is small Lisp interpreter
677 implemented in less than 1024 bytes of JavaScript. To run the miniMAL
678 implementation of mal you need to download/install the miniMAL
679 interpreter (which requires Node.js).
682 # Download miniMAL and dependencies
684 export PATH=`pwd`/node_modules/minimal-lisp/:$PATH
685 # Now run mal implementation in miniMAL
691 For readline line editing support, install Term::ReadLine::Perl or
692 Term::ReadLine::Gnu from CPAN.
701 The Perl 6 implementation was tested on Rakudo Perl 6 2016.04.
710 The PHP implementation of mal requires the php command line interface
720 The Picolisp implementation requires libreadline and Picolisp 3.1.11
728 ### PL/pgSQL (Postgres SQL Procedural Language)
730 The PL/pgSQL implementation of mal requires a running Postgres server
731 (the "kanaka/mal-test-plpgsql" docker image automatically starts
732 a Postgres server). The implementation connects to the Postgres server
733 and create a database named "mal" to store tables and stored
734 procedures. The wrapper script uses the psql command to connect to the
735 server and defaults to the user "postgres" but this can be overridden
736 with the PSQL_USER environment variable. A password can be specified
737 using the PGPASSWORD environment variable. The implementation has been
738 tested with Postgres 9.4.
742 ./wrap.sh stepX_YYY.sql
744 PSQL_USER=myuser PGPASSWORD=mypass ./wrap.sh stepX_YYY.sql
747 ### PL/SQL (Oracle SQL Procedural Language)
749 The PL/pgSQL implementation of mal requires a running Oracle DB
750 server (the "kanaka/mal-test-plsql" docker image automatically
751 starts an Oracle Express server). The implementation connects to the
752 Oracle server to create types, tables and stored procedures. The
753 default SQL*Plus logon value (username/password@connect_identifier) is
754 "system/oracle" but this can be overridden with the ORACLE_LOGON
755 environment variable. The implementation has been tested with Oracle
756 Express Edition 11g Release 2. Note that any SQL*Plus connection
757 warnings (user password expiration, etc) will interfere with the
758 ability of the wrapper script to communicate with the DB.
762 ./wrap.sh stepX_YYY.sql
764 ORACLE_LOGON=myuser/mypass@ORCL ./wrap.sh stepX_YYY.sql
767 ### Postscript Level 2/3
769 The Postscript implementation of mal requires ghostscript to run. It
770 has been tested with ghostscript 9.10.
774 gs -q -dNODISPLAY -I./ stepX_YYY.ps
779 The PowerShell implementation of mal requires the PowerShell script
780 language. It has been tested with PowerShell 6.0.0 Alpha 9 on Linux.
784 powershell ./stepX_YYY.ps1
787 ### Python (2.X and 3.X)
796 You must have [rpython](https://rpython.readthedocs.org/) on your path
797 (included with [pypy](https://bitbucket.org/pypy/pypy/)).
801 make # this takes a very long time
807 The R implementation of mal requires R (r-base-core) to run.
811 make libs # to download and build rdyncall
817 The Racket implementation of mal requires the Racket
818 compiler/interpreter to run.
827 The Rexx implementation of mal has been tested with Regina Rexx 3.6.
832 rexx -a ./stepX_YYY.rexxpp
842 ### Rust (1.0.0 nightly)
844 The rust implementation of mal requires the rust compiler and build
845 tool (cargo) to build.
849 cargo run --release --bin stepX_YYY
854 Install scala and sbt (http://www.scala-sbt.org/0.13/tutorial/Installing-sbt-on-Linux.html):
858 sbt 'run-main stepX_YYY'
861 scala -classpath target/scala*/classes stepX_YYY
864 ### Scheme (R7RS) ###
866 The Scheme implementation of mal has been tested with Chibi-Scheme
867 0.7.3, Kawa 2.4, Gauche 0.9.5, CHICKEN 4.11.0, Sagittarius 0.8.3,
868 Cyclone 0.6.3 (Git version) and Foment 0.4 (Git version). You should
869 be able to get it running on other conforming R7RS implementations
870 after figuring out how libraries are loaded and adjusting the
871 `Makefile` and `run` script accordingly.
877 scheme_MODE=chibi ./run
880 scheme_MODE=kawa ./run
882 scheme_MODE=gauche ./run
885 scheme_MODE=chicken ./run
887 scheme_MODE=sagittarius ./run
890 scheme_MODE=cyclone ./run
892 scheme_MODE=foment ./run
897 The Skew implementation of mal has been tested with Skew 0.7.42.
908 The Swift implementation of mal requires the Swift 2.0 compiler (XCode
909 7.0) to build. Older versions will not work due to changes in the
910 language and standard library.
920 The Swift 3 implementation of mal requires the Swift 3.0 compiler. It
921 has been tested with Swift 3 Preview 3.
931 The Tcl implementation of mal requires Tcl 8.6 to run. For readline line
932 editing support, install tclreadline.
936 tclsh ./stepX_YYY.tcl
941 The TypeScript implementation of mal requires the TypeScript 2.2 compiler.
942 It has been tested with Node.js v6.
952 The VHDL implementation of mal has been tested with GHDL 0.29.
957 ./run_vhdl.sh ./stepX_YYY
962 The Vimscript implementation of mal requires Vim 8.0 to run.
966 ./run_vimscript.sh ./stepX_YYY.vim
969 ### Visual Basic.NET ###
971 The VB.NET implementation of mal has been tested on Linux using the Mono
972 VB compiler (vbnc) and the Mono runtime (version 2.10.8.1). Both are
973 required to build and run the VB.NET implementation.
981 ### WebAssembly (wasm) ###
983 The WebAssembly implementation is written in
984 [Wam](https://github.com/kanaka/wam) (WebAssembly Macro language) and
985 runs under the [wac/wace](https://github.com/kanaka/wac) WebAssembly
991 wace ./stepX_YYY.wasm
996 The Yorick implementation of mal was tested on Yorick 2.2.04.
1000 yorick -batch ./stepX_YYY.i
1007 The top level Makefile has a number of useful targets to assist with
1008 implementation development and testing. The `help` target provides
1009 a list of the targets and options:
1015 ### Functional tests
1017 The are over 600 generic functional tests (for all implementations)
1018 in the `tests/` directory. Each step has a corresponding test file
1019 containing tests specific to that step. The `runtest.py` test harness
1020 launches a Mal step implementation and then feeds the tests one at
1021 a time to the implementation and compares the output/return value to
1022 the expected output/return value.
1024 * To run all the tests across all implementations (be prepared to wait):
1030 * To run all tests against a single implementation:
1040 * To run tests for a single step against all implementations:
1050 * To run tests for a specific step against a single implementation:
1053 make "test^IMPL^stepX"
1056 make "test^ruby^step3"
1057 make "test^ps^step4"
1060 ### Self-hosted functional tests
1062 * To run the functional tests in self-hosted mode, you specify `mal`
1063 as the test implementation and use the `MAL_IMPL` make variable
1064 to change the underlying host language (default is JavaScript):
1066 make MAL_IMPL=IMPL "test^mal^step2"
1069 make "test^mal^step2" # js is default
1070 make MAL_IMPL=ruby "test^mal^step2"
1071 make MAL_IMPL=python "test^mal^step2"
1074 ### Starting the REPL
1076 * To start the REPL of an implementation in a specific step:
1079 make "repl^IMPL^stepX"
1082 make "repl^ruby^step3"
1083 make "repl^ps^step4"
1086 * If you omit the step, then `stepA` is used:
1096 * To start the REPL of the self-hosted implementation, specify `mal` as the
1097 REPL implementation and use the `MAL_IMPL` make variable to change the
1098 underlying host language (default is JavaScript):
1100 make MAL_IMPL=IMPL "repl^mal^stepX"
1103 make "repl^mal^step2" # js is default
1104 make MAL_IMPL=ruby "repl^mal^step2"
1105 make MAL_IMPL=python "repl^mal"
1108 ### Performance tests
1110 Warning: These performance tests are neither statistically valid nor
1111 comprehensive; runtime performance is a not a primary goal of mal. If
1112 you draw any serious conclusions from these performance tests, then
1113 please contact me about some amazing oceanfront property in Kansas
1114 that I'm willing to sell you for cheap.
1116 * To run performance tests against a single implementation:
1124 * To run performance tests against all implementations:
1129 ### Generating language statistics
1131 * To report line and byte statistics for a single implementation:
1139 * To report line and bytes statistics for general Lisp code (env, core
1142 make "stats-lisp^IMPL"
1145 make "stats-lisp^js"
1148 ## Dockerized testing
1150 Every implementation directory contains a Dockerfile to create
1151 a docker image containing all the dependencies for that
1152 implementation. In addition, the top-level Makefile contains support
1153 for running the tests target (and perf, stats, repl, etc) within
1154 a docker container for that implementation by passing *"DOCKERIZE=1"*
1155 on the make command line. For example:
1158 make DOCKERIZE=1 "test^js^step3"
1161 Existing implementations already have docker images built and pushed
1162 to the docker registry. However, if
1163 you wish to build or rebuild a docker image locally, the toplevel
1164 Makefile provides a rule for building docker images:
1167 make "docker-build^IMPL"
1172 * Docker images are named *"kanaka/mal-test-IMPL"*
1173 * JVM-based language implementations (Groovy, Java, Clojure, Scala):
1174 you will probably need to run this command once manually
1175 first `make DOCKERIZE=1 "repl^IMPL"` before you can run tests because
1176 runtime dependencies need to be downloaded to avoid the tests timing
1177 out. These dependencies are downloaded to dot-files in the /mal
1178 directory so they will persist between runs.
1181 ## External Implementations
1183 The following implementations are maintained as separate projects:
1187 * [by Alexander Bagnalla](https://github.com/bagnalla/holyc_mal)
1191 * [by Tim Morgan](https://github.com/seven1m/mal-rust)
1192 * [by vi](https://github.com/vi/mal-rust-vi) - using [Pest](https://pest.rs/) grammar, not using typical Mal infrastructure (cargo-ized steps and built-in converted tests).
1195 ## Projects using mal
1197 * [malc](https://github.com/dubek/malc) - Mal (Make A Lisp) compiler. Compiles a Mal program to LLVM assembly language, then binary.
1198 * [frock](https://github.com/chr15m/frock) - Clojure-flavoured PHP. Uses mal/php to run programs.
1202 Mal (make-a-lisp) is licensed under the MPL 2.0 (Mozilla Public
1203 License 2.0). See LICENSE.txt for more details.