yamlscript: Tests step0 and step1 fully passing

To test, run `make -C yamlscript test`.

The Makefile will auto-install the ys binary under the
impls/yamlscript/.cache/ directory.

Passing first 2 steps with no skipped tests.

Author: ingydotnet

IMPLS.yml

@@ -112,6 +112,7 @@ IMPL:
   #- {IMPL: wasm, wasm_MODE: wace_libc, NO_SELF_HOST_PERF: 1}  # Hangs on GH Actions
   - {IMPL: wren}
   - {IMPL: xslt, NO_SELF_HOST: 1}  # step1 fail: "Too many nested template ..."
+  - {IMPL: yamlscript}
   - {IMPL: yorick}
   - {IMPL: zig}
 

Makefile.impls

@@ -37,7 +37,7 @@ IMPLS = ada ada.2 awk bash basic bbc-basic c c.2 chuck clojure coffee common-lis
 	guile hare haskell haxe hy io janet java java-truffle js jq julia kotlin latex3 livescript logo lua make mal \
 	matlab miniMAL nasm nim objc objpascal ocaml perl perl6 php picolisp pike plpgsql \
 	plsql powershell prolog ps purs python2 python3 r racket rexx rpython ruby ruby.2 rust scala scheme skew sml \
-	swift swift3 swift4 swift6 tcl ts vala vb vbs vhdl vimscript wasm wren yorick xslt zig
+	swift swift3 swift4 swift6 tcl ts vala vb vbs vhdl vimscript wasm wren yamlscript yorick xslt zig
 
 step5_EXCLUDES += bash        # never completes at 10,000
 step5_EXCLUDES += basic       # too slow, and limited to ints of 2^16
@@ -199,6 +199,7 @@ vhdl_STEP_TO_PROG =          impls/vhdl/$($(1))
 vimscript_STEP_TO_PROG =     impls/vimscript/$($(1)).vim
 wasm_STEP_TO_PROG =          impls/wasm/$($(1)).wasm
 wren_STEP_TO_PROG =          impls/wren/$($(1)).wren
+yamlscript_STEP_TO_PROG =    impls/yamlscript/$($(1)).ys
 yorick_STEP_TO_PROG =        impls/yorick/$($(1)).i
 xslt_STEP_TO_PROG =          impls/xslt/$($(1))
 zig_STEP_TO_PROG =           impls/zig/$($(1))

README.md

@@ -139,6 +139,7 @@ FAQ](docs/FAQ.md) where I attempt to answer some common questions.
 | [WebAssembly](#webassembly-wasm) (wasm) | [Joel Martin](https://github.com/kanaka) |
 | [Wren](#wren) | [Dov Murik](https://github.com/dubek) |
 | [XSLT](#xslt) | [Ali MohammadPur](https://github.com/alimpfard) |
+| [YAMLScript](#yamlscript) | [Ingy döt Net](https://github.com/ingydotnet) |
 | [Yorick](#yorick) | [Dov Murik](https://github.com/dubek) |
 | [Zig](#zig) | [Josh Tobin](https://github.com/rjtobin) |
 
@@ -1296,6 +1297,20 @@ cd impls/wren
 wren ./stepX_YYY.wren
 ```
 
+### YS (YAMLScript)
+
+The YS (YAMLScript) implementation of mal was tested on YS 0.2.3.
+
+```
+cd impls/yamlscript
+make test
+```
+
+The Makefile will install `ys` locally so there are no prerequisites.
+
+The YS language transpiles to Clojure Lisp and owes its origin to the "mal"
+project!
+
 ### Yorick
 
 The Yorick implementation of mal was tested on Yorick 2.2.04.

impls/yamlscript/.gitignore

@@ -0,0 +1 @@
+/.cache/

impls/yamlscript/Makefile

@@ -0,0 +1,36 @@
+M := $(or $(MAKES_REPO_DIR),.cache/makes)
+$(shell [ -d $M ] || git clone -q https://github.com/makeplus/makes $M)
+include $M/init.mk
+include $M/clean.mk
+include $M/ys.mk
+include $M/shell.mk
+
+ifndef BASIC
+export DEFERRABLE := 1
+export OPTIONAL := 1
+endif
+
+IMPL := yamlscript
+
+STEPS := $(shell for f in step*; do echo $${f%%_*}; done)
+STEPS := $(STEPS:step%=%)
+ALL-TESTS := $(STEPS:%=test-%)
+
+GREP-RESULTS := grep -E '(^TEST RESULTS|: .* tests$$)'
+
+export YSPATH := lib
+
+
+test:
+	time $(MAKE) test-all BASIC=$(BASIC) |& $(GREP-RESULTS)
+	echo
+
+test-all: $(ALL-TESTS)
+
+$(ALL-TESTS): $(YS)
+	time $(MAKE) --no-print-directory -C ../.. \
+	  test^$(IMPL)^step$(@:test-%=%) \
+	  MAL_IMPL=$(IMPL) \
+	  DEFERRABLE=$(DEFERRABLE) \
+	  OPTIONAL=$(OPTIONAL) || \
+	  [[ $@ == test-6 ]]

impls/yamlscript/lib/printer.ys

@@ -0,0 +1,27 @@
+!YS-v0
+ns: printer
+
+defn pr-str(ast):
+  cond:
+    map?(ast):
+      cond:
+        ast.list:
+          "($(joins(ast.list.map(pr-str))))"
+        ast.vector:
+          "[$(joins(ast.vector.map(pr-str)))]"
+        ast.hash-map:
+          "{$(joins(ast.hash-map.map(pr-str)))}"
+        ast.quote:
+          "(quote $(ast.quote:pr-str))"
+        ast.quasiquote:
+          "(quasiquote $(ast.quasiquote:pr-str))"
+        ast.unquote:
+          "(unquote $(ast.unquote:pr-str))"
+        ast.splice-unquote:
+          "(splice-unquote $(ast.splice-unquote:pr-str))"
+        ast.deref:
+          "(deref $(ast.deref:pr-str))"
+        ast.with-meta:
+          "(with-meta $(ast.with-meta.0:pr-str)
+                      $(ast.with-meta.1:pr-str))"
+    else: str(ast)

impls/yamlscript/lib/reader.ys

@@ -0,0 +1,82 @@
+!YS-v0
+ns: reader
+
+tokens =: atom(nil)
+
+re-tokenize =:
+  qr:: |
+    (?x)
+    [\s,]*
+    (
+      ~@ |
+      [\[\]{}()'`~^@] |
+      "(?:\\.|[^\\"])*"? |
+      ;.* |
+      [^\s\[\]{}('"`,;)]*
+    )
+
+defn read-str(string):
+  reset tokens: tokenize(string)
+  read-form:
+
+defn tokenize(string):
+  remove empty?:
+    map second:
+      re-seq re-tokenize: string
+
+defn peek():
+  =>: tokens.@.first()
+
+defn next():
+  token =: peek()
+  reset tokens: rest(tokens.@)
+  =>: token
+
+defn read-form():
+  token =: peek()
+  condp eq token:
+    '(': read-list('list' ')')
+    '[': read-list('vector' ']')
+    '{': read-list('hash-map' '}')
+    "'": read-quote('quote')
+    '`': read-quote('quasiquote')
+    '~': read-quote('unquote')
+    '~@': read-quote('splice-unquote')
+    '@': read-quote('deref')
+    '^': with-meta()
+    else: read-atom()
+
+defn read-list(type end):
+  next:
+  =>::
+    ! type::
+      loop list []:
+        token =: peek()
+        when-not token:
+          die: "Reached end of input in 'read_list'"
+        if token != end:
+          recur: list.conj(read-form())
+          else:
+            next:
+            =>: list
+
+defn read-quote(type):
+  next:
+  hash-map: type read-form()
+
+defn with-meta():
+  next:
+  meta =: read-form()
+  form =: read-form()
+  hash-map: +
+    'with-meta' [form meta]
+
+re-string =: /"((?:\\.|[^\\"])*)"/
+
+defn read-atom():
+  atom =: next()
+  cond:
+    atom =~ /^"/:
+      when atom !~ re-string:
+        die: "Reached end of input looking for '\"'"
+  =>: atom

impls/yamlscript/lib/readline.ys

@@ -0,0 +1,6 @@
+!YS-v0
+ns: readline
+
+defn readline(prompt):
+  print: prompt
+  read-line:

impls/yamlscript/run

@@ -0,0 +1,5 @@
+#!/bin/bash
+
+set -eu
+
+exec ys "$(dirname "${BASH_SOURCE[0]}")/${STEP:-stepA_mal}.ys" "$@"

impls/yamlscript/step0_repl.ys

@@ -0,0 +1,27 @@
+!YS-v0
+use readline: :all
+
+# read
+defn READ(strng):
+  strng
+
+# eval
+defn EVAL(ast):
+  ast
+
+# print
+defn PRINT(exp): exp
+
+# repl
+defn rep(strng):
+  PRINT: EVAL(READ(strng))
+
+# repl loop
+defn repl-loop(line):
+  when line:
+    when line != '':
+      say: rep(line)
+    repl-loop: readline('mal-user> ')
+
+# main
+defn main(*): repl-loop('')