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,19 @@ cd impls/wren
 wren ./stepX_YYY.wren
 ```
 
+### YS (YAMLScript)
+
+The YS (YAMLScript) implementation of mal was tested on YS 0.2.2.
+
+```
+cd impls/yamlscript
+make test
+```
+
+The Makefile will install `ys` locally so there are no prerequisites.
+
+Note: The YS language 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/Dockerfile

@@ -0,0 +1,30 @@
+FROM ubuntu:jammy
+LABEL maintainer="Ingy döt Net <ingy@ingy.net>"
+
+##########################################################
+# General requirements for testing or common across many
+# implementations
+##########################################################
+
+RUN apt-get -y update
+
+# Required for running tests
+RUN apt-get -y install make python3
+
+# Some typical implementation and test requirements
+RUN apt-get -y install curl libreadline-dev libedit-dev
+
+RUN mkdir -p /mal
+WORKDIR /mal
+
+##########################################################
+# Specific implementation requirements
+##########################################################
+
+RUN apt-get -y install xz-utils
+
+RUN ln -s python3 /usr/bin/python
+
+RUN curl -s https://getys.org/ys | VERSION=0.2.2 bash
+
+ENV YSPATH=/mal/impls/yamlscript/lib

impls/yamlscript/Makefile

@@ -0,0 +1,50 @@
+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
+
+ROOT := $(shell cd ../.. && pwd)
+
+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)
+
+test-docker: docker-build
+	$(MAKE) -C $(ROOT) DOCKERIZE=1 test^$(IMPL)
+
+test-self-host: docker-build
+	time $(MAKE) -C $(ROOT) MAL_IMPL=$(IMPL) test^mal^step{0..1}
+# 	|& \
+# 	    $(GREP-RESULTS)
+
+$(ALL-TESTS): $(YS)
+	time $(MAKE) --no-print-directory -C ../.. \
+	  test^$(IMPL)^step$(@:test-%=%) \
+	  MAL_IMPL=$(IMPL) \
+	  DEFERRABLE=$(DEFERRABLE) \
+	  OPTIONAL=$(OPTIONAL) || \
+	  [[ $@ == test-6 ]]
+
+docker-build:
+	$(MAKE) -C $(ROOT) docker-build^$(IMPL)
+	@echo

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" "$@"