README: Add XSLT and bump up counters
[jackhill/mal.git] / README.md
1 # mal - Make a Lisp
2
3 [![Build Status](https://travis-ci.org/kanaka/mal.svg?branch=master)](https://travis-ci.org/kanaka/mal)
4
5 ## Description
6
7 **1. Mal is a Clojure inspired Lisp interpreter**
8
9 **2. Mal is a learning tool**
10
11 Each implementation of mal is separated into
12 11 incremental, self-contained (and testable) steps that demonstrate
13 core concepts of Lisp. The last step is capable of self-hosting
14 (running the mal implementation of mal). See the [make-a-lisp process
15 guide](process/guide.md).
16
17 The make-a-lisp steps are:
18
19 * [step0_repl](process/guide.md#step0)
20 * [step1_read_print](process/guide.md#step1)
21 * [step2_eval](process/guide.md#step2)
22 * [step3_env](process/guide.md#step3)
23 * [step4_if_fn_do](process/guide.md#step4)
24 * [step5_tco](process/guide.md#step5)
25 * [step6_file](process/guide.md#step6)
26 * [step7_quote](process/guide.md#step7)
27 * [step8_macros](process/guide.md#step8)
28 * [step9_try](process/guide.md#step9)
29 * [stepA_mal](process/guide.md#stepA)
30
31 Each make-a-lisp step has an associated architectural diagram. That elements
32 that are new for that step are highlighted in red.
33 Here is the final diagram for [step A](process/guide.md#stepA):
34
35 ![stepA_mal architecture](process/stepA_mal.png)
36
37 If you are interested in creating a mal implementation (or just
38 interested in using mal for something), please drop by the #mal
39 channel on freenode. In addition to the [make-a-lisp process
40 guide](process/guide.md) there is also a [mal/make-a-lisp
41 FAQ](docs/FAQ.md) where I attempt to answer some common questions.
42
43
44 **3. Mal is implemented in 82 languages (85 different implementations and 105 runtime modes)**
45
46 | Language | Creator |
47 | -------- | ------- |
48 | [Ada](#ada) | [Chris Moore](https://github.com/zmower) |
49 | [Ada #2](#ada2) | [Nicolas Boulenguez](https://github.com/asarhaddon) |
50 | [GNU Awk](#gnu-awk) | [Miutsuru Kariya](https://github.com/kariya-mitsuru) |
51 | [Bash 4](#bash-4) | [Joel Martin](https://github.com/kanaka) |
52 | [BASIC](#basic-c64-and-qbasic) (C64 & QBasic) | [Joel Martin](https://github.com/kanaka) |
53 | [BBC BASIC V](#bbc-basic-v) | [Ben Harris](https://github.com/bjh21) |
54 | [C](#c) | [Joel Martin](https://github.com/kanaka) |
55 | [C++](#c-1) | [Stephen Thirlwall](https://github.com/sdt) |
56 | [C#](#c-2) | [Joel Martin](https://github.com/kanaka) |
57 | [ChucK](#chuck) | [Vasilij Schneidermann](https://github.com/wasamasa) |
58 | [Clojure](#clojure) (Clojure & ClojureScript) | [Joel Martin](https://github.com/kanaka) |
59 | [CoffeeScript](#coffeescript) | [Joel Martin](https://github.com/kanaka) |
60 | [Common Lisp](#common-lisp) | [Iqbal Ansari](https://github.com/iqbalansari) |
61 | [Crystal](#crystal) | [Linda_pp](https://github.com/rhysd) |
62 | [D](#d) | [Dov Murik](https://github.com/dubek) |
63 | [Dart](#dart) | [Harry Terkelsen](https://github.com/hterkelsen) |
64 | [Elixir](#elixir) | [Martin Ek](https://github.com/ekmartin) |
65 | [Elm](#elm) | [Jos van Bakel](https://github.com/c0deaddict) |
66 | [Emacs Lisp](#emacs-lisp) | [Vasilij Schneidermann](https://github.com/wasamasa) |
67 | [Erlang](#erlang) | [Nathan Fiedler](https://github.com/nlfiedler) |
68 | [ES6](#es6-ecmascript-2015) (ECMAScript 2015) | [Joel Martin](https://github.com/kanaka) |
69 | [F#](#f) | [Peter Stephens](https://github.com/pstephens) |
70 | [Factor](#factor) | [Jordan Lewis](https://github.com/jordanlewis) |
71 | [Fantom](#fantom) | [Dov Murik](https://github.com/dubek) |
72 | [Forth](#forth) | [Chris Houser](https://github.com/chouser) |
73 | [GNU Guile](#gnu-guile-21) | [Mu Lei](https://github.com/NalaGinrut) |
74 | [GNU Smalltalk](#gnu-smalltalk) | [Vasilij Schneidermann](https://github.com/wasamasa) |
75 | [Go](#go) | [Joel Martin](https://github.com/kanaka) |
76 | [Groovy](#groovy) | [Joel Martin](https://github.com/kanaka) |
77 | [Haskell](#haskell) | [Joel Martin](https://github.com/kanaka) |
78 | [Haxe](#haxe-neko-python-c-and-javascript) (Neko, Python, C++, & JS) | [Joel Martin](https://github.com/kanaka) |
79 | [Hy](#hy) | [Joel Martin](https://github.com/kanaka) |
80 | [Io](#io) | [Dov Murik](https://github.com/dubek) |
81 | [Java](#java-17) | [Joel Martin](https://github.com/kanaka) |
82 | [JavaScript](#javascriptnode) ([Demo](http://kanaka.github.io/mal)) | [Joel Martin](https://github.com/kanaka) |
83 | [jq](#jq) | [Ali MohammadPur](https://github.com/alimpfard) |
84 | [Julia](#julia) | [Joel Martin](https://github.com/kanaka) |
85 | [Kotlin](#kotlin) | [Javier Fernandez-Ivern](https://github.com/ivern) |
86 | [LiveScript](#livescript) | [Jos van Bakel](https://github.com/c0deaddict) |
87 | [Logo](#logo) | [Dov Murik](https://github.com/dubek) |
88 | [Lua](#lua) | [Joel Martin](https://github.com/kanaka) |
89 | [GNU Make](#gnu-make-381) | [Joel Martin](https://github.com/kanaka) |
90 | [mal itself](#mal) | [Joel Martin](https://github.com/kanaka) |
91 | [MATLAB](#matlab-gnu-octave-and-matlab) (GNU Octave & MATLAB) | [Joel Martin](https://github.com/kanaka) |
92 | [miniMAL](#minimal) ([Repo](https://github.com/kanaka/miniMAL), [Demo](https://kanaka.github.io/miniMAL/)) | [Joel Martin](https://github.com/kanaka) |
93 | [NASM](#nasm) | [Ben Dudson](https://github.com/bendudson) |
94 | [Nim](#nim-104) | [Dennis Felsing](https://github.com/def-) |
95 | [Object Pascal](#object-pascal) | [Joel Martin](https://github.com/kanaka) |
96 | [Objective C](#objective-c) | [Joel Martin](https://github.com/kanaka) |
97 | [OCaml](#ocaml-4010) | [Chris Houser](https://github.com/chouser) |
98 | [Perl](#perl-5) | [Joel Martin](https://github.com/kanaka) |
99 | [Perl 6](#perl-6) | [Hinrik Örn Sigurðsson](https://github.com/hinrik) |
100 | [PHP](#php-53) | [Joel Martin](https://github.com/kanaka) |
101 | [Picolisp](#picolisp) | [Vasilij Schneidermann](https://github.com/wasamasa) |
102 | [Pike](#pike) | [Dov Murik](https://github.com/dubek) |
103 | [PL/pgSQL](#plpgsql-postgresql-sql-procedural-language) (PostgreSQL) | [Joel Martin](https://github.com/kanaka) |
104 | [PL/SQL](#plsql-oracle-sql-procedural-language) (Oracle) | [Joel Martin](https://github.com/kanaka) |
105 | [PostScript](#postscript-level-23) | [Joel Martin](https://github.com/kanaka) |
106 | [PowerShell](#powershell) | [Joel Martin](https://github.com/kanaka) |
107 | [Python](#python-2x-and-3x) (2.X & 3.X) | [Joel Martin](https://github.com/kanaka) |
108 | [Python #2](#python2-3x) (3.X) | [Gavin Lewis](https://github.com/epylar) |
109 | [RPython](#rpython) | [Joel Martin](https://github.com/kanaka) |
110 | [R](#r) | [Joel Martin](https://github.com/kanaka) |
111 | [Racket](#racket-53) | [Joel Martin](https://github.com/kanaka) |
112 | [Rexx](#rexx) | [Dov Murik](https://github.com/dubek) |
113 | [Ruby](#ruby-19) | [Joel Martin](https://github.com/kanaka) |
114 | [Rust](#rust-138) | [Joel Martin](https://github.com/kanaka) |
115 | [Scala](#scala) | [Joel Martin](https://github.com/kanaka) |
116 | [Scheme (R7RS)](#scheme-r7rs) | [Vasilij Schneidermann](https://github.com/wasamasa) |
117 | [Skew](#skew) | [Dov Murik](https://github.com/dubek) |
118 | [Swift 2](#swift) | [Keith Rollin](https://github.com/keith-rollin) |
119 | [Swift 3](#swift-3) | [Joel Martin](https://github.com/kanaka) |
120 | [Swift 4](#swift-4) | [陆遥](https://github.com/LispLY) |
121 | [Swift 5](#swift-5) | [Oleg Montak](https://github.com/MontakOleg) |
122 | [Tcl](#tcl-86) | [Dov Murik](https://github.com/dubek) |
123 | [TypeScript](#typescript) | [Masahiro Wakame](https://github.com/vvakame) |
124 | [Vala](#vala) | [Simon Tatham](https://github.com/sgtatham) |
125 | [VHDL](#vhdl) | [Dov Murik](https://github.com/dubek) |
126 | [Vimscript](#vimscript) | [Dov Murik](https://github.com/dubek) |
127 | [Visual Basic.NET](#visual-basicnet) | [Joel Martin](https://github.com/kanaka) |
128 | [WebAssembly](#webassembly-wasm) (wasm) | [Joel Martin](https://github.com/kanaka) |
129 | [Wren](#wren) | [Dov Murik](https://github.com/dubek) |
130 | [XSLT](#xslt) | [Ali MohammadPur](https://github.com/alimpfard) |
131 | [Yorick](#yorick) | [Dov Murik](https://github.com/dubek) |
132 | [Zig](#zig) | [Josh Tobin](https://github.com/rjtobin) |
133
134
135 ## Presentations
136
137 Mal was presented publicly for the first time in a lightning talk at
138 Clojure West 2014 (unfortunately there is no video). See
139 examples/clojurewest2014.mal for the presentation that was given at the
140 conference (yes, the presentation is a mal program).
141
142 At Midwest.io 2015, Joel Martin gave a presentation on Mal titled
143 "Achievement Unlocked: A Better Path to Language Learning".
144 [Video](https://www.youtube.com/watch?v=lgyOAiRtZGw),
145 [Slides](http://kanaka.github.io/midwest.io.mal/).
146
147 More recently Joel gave a presentation on "Make Your Own Lisp Interpreter
148 in 10 Incremental Steps" at LambdaConf 2016:
149 [Part 1](https://www.youtube.com/watch?v=jVhupfthTEk),
150 [Part 2](https://www.youtube.com/watch?v=X5OQBMGpaTU),
151 [Part 3](https://www.youtube.com/watch?v=6mARZzGgX4U),
152 [Part 4](https://www.youtube.com/watch?v=dCO1SYR5kDU),
153 [Slides](http://kanaka.github.io/lambdaconf/).
154
155 ## Building/running implementations
156
157 The simplest way to run any given implementation is to use docker.
158 Every implementation has a docker image pre-built with language
159 dependencies installed. You can launch the REPL using a convenient
160 target in the top level Makefile (where IMPL is the implementation
161 directory name and stepX is the step to run):
162
163 ```
164 make DOCKERIZE=1 "repl^IMPL^stepX"
165 # OR stepA is the default step:
166 make DOCKERIZE=1 "repl^IMPL"
167 ```
168
169 ## External Implementations
170
171 The following implementations are maintained as separate projects:
172
173 ### HolyC
174
175 * [by Alexander Bagnalla](https://github.com/bagnalla/holyc_mal)
176
177 ### Rust
178
179 * [by Tim Morgan](https://github.com/seven1m/mal-rust)
180 * [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).
181
182
183 ## Other mal Projects
184
185 * [malc](https://github.com/dubek/malc) - Mal (Make A Lisp) compiler. Compiles a Mal program to LLVM assembly language, then binary.
186 * [malcc](https://github.com/seven1m/malcc) - malcc is an incremental compiler implementation for the Mal language. It uses the Tiny C Compiler as the compiler backend and has full support for the Mal language, including macros, tail-call elimination, and even run-time eval. ["I Built a Lisp Compiler"](https://mpov.timmorgan.org/i-built-a-lisp-compiler/) post about the process.
187 * [frock](https://github.com/chr15m/frock) - Clojure-flavoured PHP. Uses mal/php to run programs.
188 * [flk](https://github.com/chr15m/flk) - A LISP that runs wherever Bash is
189
190
191 ## Implementation Details
192
193 ### Ada
194
195 The Ada implementation was developed with GNAT 4.9 on debian. It also
196 compiles unchanged on windows if you have windows versions of git,
197 GNAT and (optionally) make. There are no external dependencies
198 (readline not implemented).
199
200 ```
201 cd impls/ada
202 make
203 ./stepX_YYY
204 ```
205
206 ### Ada.2
207
208 The second Ada implementation was developed with GNAT 8 and links with
209 the GNU readline library.
210
211 ```
212 cd impls/ada
213 make
214 ./stepX_YYY
215 ```
216
217 ### GNU awk
218
219 The GNU awk implementation of mal has been tested with GNU awk 4.1.1.
220
221 ```
222 cd impls/gawk
223 gawk -O -f stepX_YYY.awk
224 ```
225
226 ### Bash 4
227
228 ```
229 cd impls/bash
230 bash stepX_YYY.sh
231 ```
232
233 ### BASIC (C64 and QBasic)
234
235 The BASIC implementation uses a preprocessor that can generate BASIC
236 code that is compatible with both C64 BASIC (CBM v2) and QBasic. The
237 C64 mode has been tested with
238 [cbmbasic](https://github.com/kanaka/cbmbasic) (the patched version is
239 currently required to fix issues with line input) and the QBasic mode
240 has been tested with [qb64](http://www.qb64.net/).
241
242 Generate C64 code and run it using cbmbasic:
243
244 ```
245 cd impls/basic
246 make stepX_YYY.bas
247 STEP=stepX_YYY ./run
248 ```
249
250 Generate QBasic code and load it into qb64:
251
252 ```
253 cd impls/basic
254 make MODE=qbasic stepX_YYY.bas
255 ./qb64 stepX_YYY.bas
256 ```
257
258 Thanks to [Steven Syrek](https://github.com/sjsyrek) for the original
259 inspiration for this implementation.
260
261 ### BBC BASIC V
262
263 The BBC BASIC V implementation can run in the Brandy interpreter:
264
265 ```
266 cd impls/bbc-basic
267 brandy -quit stepX_YYY.bbc
268 ```
269
270 Or in ARM BBC BASIC V under RISC OS 3 or later:
271
272 ```
273 *Dir bbc-basic.riscos
274 *Run setup
275 *Run stepX_YYY
276 ```
277
278 ### C
279
280 The C implementation of mal requires the following libraries (lib and
281 header packages): glib, libffi6, libgc, and either the libedit or GNU readline
282 library.
283
284 ```
285 cd impls/c
286 make
287 ./stepX_YYY
288 ```
289
290 ### C++
291
292 The C++ implementation of mal requires g++-4.9 or clang++-3.5 and
293 a readline compatible library to build. See the `cpp/README.md` for
294 more details:
295
296 ```
297 cd impls/cpp
298 make
299 # OR
300 make CXX=clang++-3.5
301 ./stepX_YYY
302 ```
303
304
305 ### C# ###
306
307 The C# implementation of mal has been tested on Linux using the Mono
308 C# compiler (mcs) and the Mono runtime (version 2.10.8.1). Both are
309 required to build and run the C# implementation.
310
311 ```
312 cd impls/cs
313 make
314 mono ./stepX_YYY.exe
315 ```
316
317 ### ChucK
318
319 The ChucK implementation has been tested with ChucK 1.3.5.2.
320
321 ```
322 cd impls/chuck
323 ./run
324 ```
325
326 ### Clojure
327
328 For the most part the Clojure implementation requires Clojure 1.5,
329 however, to pass all tests, Clojure 1.8.0-RC4 is required.
330
331 ```
332 cd impls/clojure
333 lein with-profile +stepX trampoline run
334 ```
335
336 ### CoffeeScript
337
338 ```
339 sudo npm install -g coffee-script
340 cd impls/coffee
341 coffee ./stepX_YYY
342 ```
343
344 ### Common Lisp
345
346 The implementation has been tested with SBCL, CCL, CMUCL, GNU CLISP, ECL and
347 Allegro CL on Ubuntu 16.04 and Ubuntu 12.04, see
348 the [README](common-lisp/README.org) for more details. Provided you have the
349 dependencies mentioned installed, do the following to run the implementation
350
351 ```
352 cd impls/common-lisp
353 make
354 ./run
355 ```
356
357 ### Crystal
358
359 The Crystal implementation of mal has been tested with Crystal 0.26.1.
360
361 ```
362 cd impls/crystal
363 crystal run ./stepX_YYY.cr
364 # OR
365 make # needed to run tests
366 ./stepX_YYY
367 ```
368
369 ### D
370
371 The D implementation of mal was tested with GDC 4.8. It requires the GNU
372 readline library.
373
374 ```
375 cd impls/d
376 make
377 ./stepX_YYY
378 ```
379
380 ### Dart
381
382 The Dart implementation has been tested with Dart 1.20.
383
384 ```
385 cd impls/dart
386 dart ./stepX_YYY
387 ```
388
389 ### Emacs Lisp
390
391 The Emacs Lisp implementation of mal has been tested with Emacs 24.3
392 and 24.5. While there is very basic readline editing (`<backspace>`
393 and `C-d` work, `C-c` cancels the process), it is recommended to use
394 `rlwrap`.
395
396 ```
397 cd impls/elisp
398 emacs -Q --batch --load stepX_YYY.el
399 # with full readline support
400 rlwrap emacs -Q --batch --load stepX_YYY.el
401 ```
402
403 ### Elixir
404
405 The Elixir implementation of mal has been tested with Elixir 1.0.5.
406
407 ```
408 cd impls/elixir
409 mix stepX_YYY
410 # Or with readline/line editing functionality:
411 iex -S mix stepX_YYY
412 ```
413
414 ### Elm
415
416 The Elm implementation of mal has been tested with Elm 0.18.0
417
418 ```
419 cd impls/elm
420 make stepX_YYY.js
421 STEP=stepX_YYY ./run
422 ```
423
424 ### Erlang
425
426 The Erlang implementation of mal requires [Erlang/OTP R17](http://www.erlang.org/download.html)
427 and [rebar](https://github.com/rebar/rebar) to build.
428
429 ```
430 cd impls/erlang
431 make
432 # OR
433 MAL_STEP=stepX_YYY rebar compile escriptize # build individual step
434 ./stepX_YYY
435 ```
436
437 ### ES6 (ECMAScript 2015)
438
439 The ES6 / ECMAScript 2015 implementation uses the
440 [babel](https://babeljs.io) compiler to generate ES5 compatible
441 JavaScript. The generated code has been tested with Node 0.12.4.
442
443 ```
444 cd impls/es6
445 make
446 node build/stepX_YYY.js
447 ```
448
449
450 ### F# ###
451
452 The F# implementation of mal has been tested on Linux using the Mono
453 F# compiler (fsharpc) and the Mono runtime (version 3.12.1). The mono C#
454 compiler (mcs) is also necessary to compile the readline dependency. All are
455 required to build and run the F# implementation.
456
457 ```
458 cd impls/fsharp
459 make
460 mono ./stepX_YYY.exe
461 ```
462
463 ### Factor
464
465 The Factor implementation of mal has been tested with Factor 0.97
466 ([factorcode.org](http://factorcode.org)).
467
468 ```
469 cd impls/factor
470 FACTOR_ROOTS=. factor -run=stepX_YYY
471 ```
472
473 ### Fantom
474
475 The Fantom implementation of mal has been tested with Fantom 1.0.70.
476
477 ```
478 cd impls/fantom
479 make lib/fan/stepX_YYY.pod
480 STEP=stepX_YYY ./run
481 ```
482
483 ### Forth
484
485 ```
486 cd impls/forth
487 gforth stepX_YYY.fs
488 ```
489
490 ### GNU Guile 2.1+
491
492 ```
493 cd impls/guile
494 guile -L ./ stepX_YYY.scm
495 ```
496
497 ### GNU Smalltalk
498
499 The Smalltalk implementation of mal has been tested with GNU Smalltalk 3.2.91.
500
501 ```
502 cd impls/gnu-smalltalk
503 ./run
504 ```
505
506 ### Go
507
508 The Go implementation of mal requires that go is installed on on the
509 path. The implementation has been tested with Go 1.3.1.
510
511 ```
512 cd impls/go
513 make
514 ./stepX_YYY
515 ```
516
517
518 ### Groovy
519
520 The Groovy implementation of mal requires Groovy to run and has been
521 tested with Groovy 1.8.6.
522
523 ```
524 cd impls/groovy
525 make
526 groovy ./stepX_YYY.groovy
527 ```
528
529 ### Haskell
530
531 The Haskell implementation requires the ghc compiler version 7.10.1 or
532 later and also the Haskell parsec and readline (or editline) packages.
533
534 ```
535 cd impls/haskell
536 make
537 ./stepX_YYY
538 ```
539
540 ### Haxe (Neko, Python, C++ and JavaScript)
541
542 The Haxe implementation of mal requires Haxe version 3.2 to compile.
543 Four different Haxe targets are supported: Neko, Python, C++, and
544 JavaScript.
545
546 ```
547 cd impls/haxe
548 # Neko
549 make all-neko
550 neko ./stepX_YYY.n
551 # Python
552 make all-python
553 python3 ./stepX_YYY.py
554 # C++
555 make all-cpp
556 ./cpp/stepX_YYY
557 # JavaScript
558 make all-js
559 node ./stepX_YYY.js
560 ```
561
562 ### Hy
563
564 The Hy implementation of mal has been tested with Hy 0.13.0.
565
566 ```
567 cd impls/hy
568 ./stepX_YYY.hy
569 ```
570
571 ### Io
572
573 The Io implementation of mal has been tested with Io version 20110905.
574
575 ```
576 cd impls/io
577 io ./stepX_YYY.io
578 ```
579
580 ### Java 1.7
581
582 The Java implementation of mal requires maven2 to build.
583
584 ```
585 cd impls/java
586 mvn compile
587 mvn -quiet exec:java -Dexec.mainClass=mal.stepX_YYY
588 # OR
589 mvn -quiet exec:java -Dexec.mainClass=mal.stepX_YYY -Dexec.args="CMDLINE_ARGS"
590 ```
591
592 ### JavaScript/Node
593
594 ```
595 cd impls/js
596 npm install
597 node stepX_YYY.js
598 ```
599
600 ### Julia
601
602 The Julia implementation of mal requires Julia 0.4.
603
604 ```
605 cd impls/julia
606 julia stepX_YYY.jl
607 ```
608
609 ### jq
610
611 Tested against version 1.6, with a lot of cheating in the IO department
612
613 ```
614 cd impls/jq
615 STEP=stepA_YYY ./run
616 # with Debug
617 DEBUG=true STEP=stepA_YYY ./run
618 ```
619
620 ### Kotlin
621
622 The Kotlin implementation of mal has been tested with Kotlin 1.0.
623
624 ```
625 cd impls/kotlin
626 make
627 java -jar stepX_YYY.jar
628 ```
629
630 ### LiveScript
631
632 The LiveScript implementation of mal has been tested with LiveScript 1.5.
633
634 ```
635 cd impls/livescript
636 make
637 node_modules/.bin/lsc stepX_YYY.ls
638 ```
639
640 ### Logo
641
642 The Logo implementation of mal has been tested with UCBLogo 6.0.
643
644 ```
645 cd impls/logo
646 logo stepX_YYY.lg
647 ```
648
649 ### Lua
650
651 The Lua implementation of mal has been tested with Lua 5.3.5 The
652 implementation requires luarocks to be installed.
653
654 ```
655 cd impls/lua
656 make # to build and link linenoise.so and rex_pcre.so
657 ./stepX_YYY.lua
658 ```
659
660 ### Mal
661
662 Running the mal implementation of mal involves running stepA of one of
663 the other implementations and passing the mal step to run as a command
664 line argument.
665
666 ```
667 cd impls/IMPL
668 IMPL_STEPA_CMD ../mal/stepX_YYY.mal
669
670 ```
671
672 ### GNU Make 3.81
673
674 ```
675 cd impls/make
676 make -f stepX_YYY.mk
677 ```
678
679 ### NASM
680
681 The NASM implementation of mal is written for x86-64 Linux, and has been tested
682 with Linux 3.16.0-4-amd64 and NASM version 2.11.05.
683
684 ```
685 cd impls/nasm
686 make
687 ./stepX_YYY
688 ```
689
690 ### Nim 1.0.4
691
692 The Nim implementation of mal has been tested with Nim 1.0.4.
693
694 ```
695 cd impls/nim
696 make
697 # OR
698 nimble build
699 ./stepX_YYY
700 ```
701
702 ### Object Pascal
703
704 The Object Pascal implementation of mal has been built and tested on
705 Linux using the Free Pascal compiler version 2.6.2 and 2.6.4.
706
707 ```
708 cd impls/objpascal
709 make
710 ./stepX_YYY
711 ```
712
713 ### Objective C
714
715 The Objective C implementation of mal has been built and tested on
716 Linux using clang/LLVM 3.6. It has also been built and tested on OS
717 X using XCode 7.
718
719 ```
720 cd impls/objc
721 make
722 ./stepX_YYY
723 ```
724
725 ### OCaml 4.01.0
726
727 ```
728 cd impls/ocaml
729 make
730 ./stepX_YYY
731 ```
732
733 ### MATLAB (GNU Octave and MATLAB)
734
735 The MatLab implementation has been tested with GNU Octave 4.2.1.
736 It has also been tested with MATLAB version R2014a on Linux. Note that
737 MATLAB is a commercial product.
738
739 ```
740 cd impls/matlab
741 ./stepX_YYY
742 octave -q --no-gui --no-history --eval "stepX_YYY();quit;"
743 matlab -nodisplay -nosplash -nodesktop -nojvm -r "stepX_YYY();quit;"
744 # OR with command line arguments
745 octave -q --no-gui --no-history --eval "stepX_YYY('arg1','arg2');quit;"
746 matlab -nodisplay -nosplash -nodesktop -nojvm -r "stepX_YYY('arg1','arg2');quit;"
747 ```
748
749 ### miniMAL
750
751 [miniMAL](https://github.com/kanaka/miniMAL) is small Lisp interpreter
752 implemented in less than 1024 bytes of JavaScript. To run the miniMAL
753 implementation of mal you need to download/install the miniMAL
754 interpreter (which requires Node.js).
755 ```
756 cd impls/miniMAL
757 # Download miniMAL and dependencies
758 npm install
759 export PATH=`pwd`/node_modules/minimal-lisp/:$PATH
760 # Now run mal implementation in miniMAL
761 miniMAL ./stepX_YYY
762 ```
763
764 ### Perl 5
765
766 The Perl 5 implementation should work with perl 5.19.3 and later.
767
768 For readline line editing support, install Term::ReadLine::Perl or
769 Term::ReadLine::Gnu from CPAN.
770
771 ```
772 cd impls/perl
773 perl stepX_YYY.pl
774 ```
775
776 ### Perl 6
777
778 The Perl 6 implementation was tested on Rakudo Perl 6 2016.04.
779
780 ```
781 cd impls/perl6
782 perl6 stepX_YYY.pl
783 ```
784
785 ### PHP 5.3
786
787 The PHP implementation of mal requires the php command line interface
788 to run.
789
790 ```
791 cd impls/php
792 php stepX_YYY.php
793 ```
794
795 ### Picolisp
796
797 The Picolisp implementation requires libreadline and Picolisp 3.1.11
798 or later.
799
800 ```
801 cd impls/picolisp
802 ./run
803 ```
804
805 ### Pike
806
807 The Pike implementation was tested on Pike 8.0.
808
809 ```
810 cd impls/pike
811 pike stepX_YYY.pike
812 ```
813
814 ### PL/pgSQL (PostgreSQL SQL Procedural Language)
815
816 The PL/pgSQL implementation of mal requires a running PostgreSQL server
817 (the "kanaka/mal-test-plpgsql" docker image automatically starts
818 a PostgreSQL server). The implementation connects to the PostgreSQL server
819 and create a database named "mal" to store tables and stored
820 procedures. The wrapper script uses the psql command to connect to the
821 server and defaults to the user "postgres" but this can be overridden
822 with the PSQL_USER environment variable. A password can be specified
823 using the PGPASSWORD environment variable. The implementation has been
824 tested with PostgreSQL 9.4.
825
826 ```
827 cd impls/plpgsql
828 ./wrap.sh stepX_YYY.sql
829 # OR
830 PSQL_USER=myuser PGPASSWORD=mypass ./wrap.sh stepX_YYY.sql
831 ```
832
833 ### PL/SQL (Oracle SQL Procedural Language)
834
835 The PL/SQL implementation of mal requires a running Oracle DB
836 server (the "kanaka/mal-test-plsql" docker image automatically
837 starts an Oracle Express server). The implementation connects to the
838 Oracle server to create types, tables and stored procedures. The
839 default SQL\*Plus logon value (username/password@connect_identifier) is
840 "system/oracle" but this can be overridden with the ORACLE_LOGON
841 environment variable. The implementation has been tested with Oracle
842 Express Edition 11g Release 2. Note that any SQL\*Plus connection
843 warnings (user password expiration, etc) will interfere with the
844 ability of the wrapper script to communicate with the DB.
845
846 ```
847 cd impls/plsql
848 ./wrap.sh stepX_YYY.sql
849 # OR
850 ORACLE_LOGON=myuser/mypass@ORCL ./wrap.sh stepX_YYY.sql
851 ```
852
853 ### PostScript Level 2/3
854
855 The PostScript implementation of mal requires Ghostscript to run. It
856 has been tested with Ghostscript 9.10.
857
858 ```
859 cd impls/ps
860 gs -q -dNODISPLAY -I./ stepX_YYY.ps
861 ```
862
863 ### PowerShell
864
865 The PowerShell implementation of mal requires the PowerShell script
866 language. It has been tested with PowerShell 6.0.0 Alpha 9 on Linux.
867
868 ```
869 cd impls/powershell
870 powershell ./stepX_YYY.ps1
871 ```
872
873 ### Python (2.X and 3.X)
874
875 ```
876 cd impls/python
877 python stepX_YYY.py
878 ```
879
880 ### Python.2 (3.X)
881
882 The second Python implementation makes heavy use of type annotations and uses the Arpeggio parser library.
883
884 ```
885 # Recommended: do these steps in a Python virtual environment.
886 pip3 install Arpeggio==1.9.0
887 python3 stepX_YYY.py
888 ```
889
890 ### RPython
891
892 You must have [rpython](https://rpython.readthedocs.org/) on your path
893 (included with [pypy](https://bitbucket.org/pypy/pypy/)).
894
895 ```
896 cd impls/rpython
897 make # this takes a very long time
898 ./stepX_YYY
899 ```
900
901 ### R
902
903 The R implementation of mal requires R (r-base-core) to run.
904
905 ```
906 cd impls/r
907 make libs # to download and build rdyncall
908 Rscript stepX_YYY.r
909 ```
910
911 ### Racket (5.3)
912
913 The Racket implementation of mal requires the Racket
914 compiler/interpreter to run.
915
916 ```
917 cd impls/racket
918 ./stepX_YYY.rkt
919 ```
920
921 ### Rexx
922
923 The Rexx implementation of mal has been tested with Regina Rexx 3.6.
924
925 ```
926 cd impls/rexx
927 make
928 rexx -a ./stepX_YYY.rexxpp
929 ```
930
931 ### Ruby (1.9+)
932
933 ```
934 cd impls/ruby
935 ruby stepX_YYY.rb
936 ```
937
938 ### Rust (1.38+)
939
940 The rust implementation of mal requires the rust compiler and build
941 tool (cargo) to build.
942
943 ```
944 cd impls/rust
945 cargo run --release --bin stepX_YYY
946 ```
947
948 ### Scala ###
949
950 Install scala and sbt (http://www.scala-sbt.org/0.13/tutorial/Installing-sbt-on-Linux.html):
951
952 ```
953 cd impls/scala
954 sbt 'run-main stepX_YYY'
955 # OR
956 sbt compile
957 scala -classpath target/scala*/classes stepX_YYY
958 ```
959
960 ### Scheme (R7RS) ###
961
962 The Scheme implementation of mal has been tested with Chibi-Scheme
963 0.7.3, Kawa 2.4, Gauche 0.9.5, CHICKEN 4.11.0, Sagittarius 0.8.3,
964 Cyclone 0.6.3 (Git version) and Foment 0.4 (Git version). You should
965 be able to get it running on other conforming R7RS implementations
966 after figuring out how libraries are loaded and adjusting the
967 `Makefile` and `run` script accordingly.
968
969 ```
970 cd impls/scheme
971 make symlinks
972 # chibi
973 scheme_MODE=chibi ./run
974 # kawa
975 make kawa
976 scheme_MODE=kawa ./run
977 # gauche
978 scheme_MODE=gauche ./run
979 # chicken
980 make chicken
981 scheme_MODE=chicken ./run
982 # sagittarius
983 scheme_MODE=sagittarius ./run
984 # cyclone
985 make cyclone
986 scheme_MODE=cyclone ./run
987 # foment
988 scheme_MODE=foment ./run
989 ```
990
991 ### Skew ###
992
993 The Skew implementation of mal has been tested with Skew 0.7.42.
994
995 ```
996 cd impls/skew
997 make
998 node stepX_YYY.js
999 ```
1000
1001
1002 ### Swift
1003
1004 The Swift implementation of mal requires the Swift 2.0 compiler (XCode
1005 7.0) to build. Older versions will not work due to changes in the
1006 language and standard library.
1007
1008 ```
1009 cd impls/swift
1010 make
1011 ./stepX_YYY
1012 ```
1013
1014 ### Swift 3
1015
1016 The Swift 3 implementation of mal requires the Swift 3.0 compiler. It
1017 has been tested with Swift 3 Preview 3.
1018
1019 ```
1020 cd impls/swift3
1021 make
1022 ./stepX_YYY
1023 ```
1024
1025 ### Swift 4
1026
1027 The Swift 4 implementation of mal requires the Swift 4.0 compiler. It
1028 has been tested with Swift 4.2.3 release.
1029
1030 ```
1031 cd impls/swift4
1032 make
1033 ./stepX_YYY
1034 ```
1035
1036 ### Swift 5
1037
1038 The Swift 5 implementation of mal requires the Swift 5.0 compiler. It
1039 has been tested with Swift 5.1.1 release.
1040
1041 ```
1042 cd impls/swift5
1043 swift run stepX_YYY
1044 ```
1045
1046 ### Tcl 8.6
1047
1048 The Tcl implementation of mal requires Tcl 8.6 to run. For readline line
1049 editing support, install tclreadline.
1050
1051 ```
1052 cd impls/tcl
1053 tclsh ./stepX_YYY.tcl
1054 ```
1055
1056 ### TypeScript
1057
1058 The TypeScript implementation of mal requires the TypeScript 2.2 compiler.
1059 It has been tested with Node.js v6.
1060
1061 ```
1062 cd impls/ts
1063 make
1064 node ./stepX_YYY.js
1065 ```
1066
1067 ### Vala
1068
1069 The Vala implementation of mal has been tested with the Vala 0.40.8
1070 compiler. You will need to install `valac` and `libreadline-dev` or
1071 equivalent.
1072
1073 ```
1074 cd impls/vala
1075 make
1076 ./stepX_YYY
1077 ```
1078
1079 ### VHDL
1080
1081 The VHDL implementation of mal has been tested with GHDL 0.29.
1082
1083 ```
1084 cd impls/vhdl
1085 make
1086 ./run_vhdl.sh ./stepX_YYY
1087 ```
1088
1089 ### Vimscript
1090
1091 The Vimscript implementation of mal requires Vim 8.0 to run.
1092
1093 ```
1094 cd impls/vimscript
1095 ./run_vimscript.sh ./stepX_YYY.vim
1096 ```
1097
1098 ### Visual Basic.NET ###
1099
1100 The VB.NET implementation of mal has been tested on Linux using the Mono
1101 VB compiler (vbnc) and the Mono runtime (version 2.10.8.1). Both are
1102 required to build and run the VB.NET implementation.
1103
1104 ```
1105 cd impls/vb
1106 make
1107 mono ./stepX_YYY.exe
1108 ```
1109
1110 ### WebAssembly (wasm) ###
1111
1112 The WebAssembly implementation is written in
1113 [Wam](https://github.com/kanaka/wam) (WebAssembly Macro language) and
1114 runs under several different non-web embeddings (runtimes):
1115 [node](https://nodejs.org),
1116 [wasmtime](https://github.com/CraneStation/wasmtime),
1117 [wasmer](https://wasmer.io),
1118 [lucet](https://github.com/fastly/lucet),
1119 [wax](https://github.com/kanaka/wac),
1120 [wace](https://github.com/kanaka/wac),
1121 [warpy](https://github.com/kanaka/warpy).
1122
1123 ```
1124 cd impls/wasm
1125 # node
1126 make wasm_MODE=node
1127 ./run.js ./stepX_YYY.wasm
1128 # wasmtime
1129 make wasm_MODE=wasmtime
1130 wasmtime --dir=./ --dir=../ --dir=/ ./stepX_YYY.wasm
1131 # wasmer
1132 make wasm_MODE=wasmer
1133 wasmer run --dir=./ --dir=../ --dir=/ ./stepX_YYY.wasm
1134 # lucet
1135 make wasm_MODE=lucet
1136 lucet-wasi --dir=./:./ --dir=../:../ --dir=/:/ ./stepX_YYY.so
1137 # wax
1138 make wasm_MODE=wax
1139 wax ./stepX_YYY.wasm
1140 # wace
1141 make wasm_MODE=wace_libc
1142 wace ./stepX_YYY.wasm
1143 # warpy
1144 make wasm_MODE=warpy
1145 warpy --argv --memory-pages 256 ./stepX_YYY.wasm
1146 ```
1147
1148 ### XSLT
1149
1150 The XSLT implementation of mal is written with XSLT 3 and tested on Saxon 9.9.1.6 Home Edition.
1151
1152 ```
1153 cd impls/xslt
1154 STEP=stepX_YY ./run
1155 ```
1156
1157 ### Wren
1158
1159 The Wren implementation of mal was tested on Wren 0.2.0.
1160
1161 ```
1162 cd impls/wren
1163 wren ./stepX_YYY.wren
1164 ```
1165
1166 ### Yorick
1167
1168 The Yorick implementation of mal was tested on Yorick 2.2.04.
1169
1170 ```
1171 cd impls/yorick
1172 yorick -batch ./stepX_YYY.i
1173 ```
1174
1175 ### Zig
1176
1177 The Zig implementation of mal was tested on Zig 0.5.
1178
1179 ```
1180 cd impls/zig
1181 zig build stepX_YYY
1182 ```
1183
1184
1185
1186 ## Running tests
1187
1188 The top level Makefile has a number of useful targets to assist with
1189 implementation development and testing. The `help` target provides
1190 a list of the targets and options:
1191
1192 ```
1193 make help
1194 ```
1195
1196 ### Functional tests
1197
1198 The are almost 800 generic functional tests (for all implementations)
1199 in the `tests/` directory. Each step has a corresponding test file
1200 containing tests specific to that step. The `runtest.py` test harness
1201 launches a Mal step implementation and then feeds the tests one at
1202 a time to the implementation and compares the output/return value to
1203 the expected output/return value.
1204
1205 * To run all the tests across all implementations (be prepared to wait):
1206
1207 ```
1208 make test
1209 ```
1210
1211 * To run all tests against a single implementation:
1212
1213 ```
1214 make "test^IMPL"
1215
1216 # e.g.
1217 make "test^clojure"
1218 make "test^js"
1219 ```
1220
1221 * To run tests for a single step against all implementations:
1222
1223 ```
1224 make "test^stepX"
1225
1226 # e.g.
1227 make "test^step2"
1228 make "test^step7"
1229 ```
1230
1231 * To run tests for a specific step against a single implementation:
1232
1233 ```
1234 make "test^IMPL^stepX"
1235
1236 # e.g
1237 make "test^ruby^step3"
1238 make "test^ps^step4"
1239 ```
1240
1241 ### Self-hosted functional tests
1242
1243 * To run the functional tests in self-hosted mode, you specify `mal`
1244 as the test implementation and use the `MAL_IMPL` make variable
1245 to change the underlying host language (default is JavaScript):
1246 ```
1247 make MAL_IMPL=IMPL "test^mal^step2"
1248
1249 # e.g.
1250 make "test^mal^step2" # js is default
1251 make MAL_IMPL=ruby "test^mal^step2"
1252 make MAL_IMPL=python "test^mal^step2"
1253 ```
1254
1255 ### Starting the REPL
1256
1257 * To start the REPL of an implementation in a specific step:
1258
1259 ```
1260 make "repl^IMPL^stepX"
1261
1262 # e.g
1263 make "repl^ruby^step3"
1264 make "repl^ps^step4"
1265 ```
1266
1267 * If you omit the step, then `stepA` is used:
1268
1269 ```
1270 make "repl^IMPL"
1271
1272 # e.g
1273 make "repl^ruby"
1274 make "repl^ps"
1275 ```
1276
1277 * To start the REPL of the self-hosted implementation, specify `mal` as the
1278 REPL implementation and use the `MAL_IMPL` make variable to change the
1279 underlying host language (default is JavaScript):
1280 ```
1281 make MAL_IMPL=IMPL "repl^mal^stepX"
1282
1283 # e.g.
1284 make "repl^mal^step2" # js is default
1285 make MAL_IMPL=ruby "repl^mal^step2"
1286 make MAL_IMPL=python "repl^mal"
1287 ```
1288
1289 ### Performance tests
1290
1291 Warning: These performance tests are neither statistically valid nor
1292 comprehensive; runtime performance is a not a primary goal of mal. If
1293 you draw any serious conclusions from these performance tests, then
1294 please contact me about some amazing oceanfront property in Kansas
1295 that I'm willing to sell you for cheap.
1296
1297 * To run performance tests against a single implementation:
1298 ```
1299 make "perf^IMPL"
1300
1301 # e.g.
1302 make "perf^js"
1303 ```
1304
1305 * To run performance tests against all implementations:
1306 ```
1307 make "perf"
1308 ```
1309
1310 ### Generating language statistics
1311
1312 * To report line and byte statistics for a single implementation:
1313 ```
1314 make "stats^IMPL"
1315
1316 # e.g.
1317 make "stats^js"
1318 ```
1319
1320 ## Dockerized testing
1321
1322 Every implementation directory contains a Dockerfile to create
1323 a docker image containing all the dependencies for that
1324 implementation. In addition, the top-level Makefile contains support
1325 for running the tests target (and perf, stats, repl, etc) within
1326 a docker container for that implementation by passing *"DOCKERIZE=1"*
1327 on the make command line. For example:
1328
1329 ```
1330 make DOCKERIZE=1 "test^js^step3"
1331 ```
1332
1333 Existing implementations already have docker images built and pushed
1334 to the docker registry. However, if
1335 you wish to build or rebuild a docker image locally, the toplevel
1336 Makefile provides a rule for building docker images:
1337
1338 ```
1339 make "docker-build^IMPL"
1340 ```
1341
1342
1343 **Notes**:
1344 * Docker images are named *"kanaka/mal-test-IMPL"*
1345 * JVM-based language implementations (Groovy, Java, Clojure, Scala):
1346 you will probably need to run this command once manually
1347 first `make DOCKERIZE=1 "repl^IMPL"` before you can run tests because
1348 runtime dependencies need to be downloaded to avoid the tests timing
1349 out. These dependencies are downloaded to dot-files in the /mal
1350 directory so they will persist between runs.
1351
1352
1353 ## License
1354
1355 Mal (make-a-lisp) is licensed under the MPL 2.0 (Mozilla Public
1356 License 2.0). See LICENSE.txt for more details.