@graffiticode/basis 1.5.18 → 1.5.19

package/package.json

@@ -1,13 +1,14 @@
 {
   "name": "@graffiticode/basis",
   "type": "module",
-  "version": "1.5.18",
+  "version": "1.5.19",
   "description": "The basis library for creating Graffiticode languages",
   "main": "index.js",
   "scripts": {
     "test": "jest",
     "build-spec": "npx spec-md ./spec/spec.md > ./spec/spec.html",
-    "watch-spec": "npx nodemon --exec 'npx spec-md > ./spec/spec.html' ./spec/spec.md"
+    "watch-spec": "npx nodemon --exec 'npx spec-md > ./spec/spec.html' ./spec/spec.md",
+    "publish-spec": "npm run build-spec && for dir in ../l0*/packages/api/public; do cp ./spec/spec.html \"$dir/graffiticode-language-spec.html\"; echo \"Copied to $dir/graffiticode-language-spec.html\"; done"
   },
   "engines": {
     "node": "22.x"

package/spec/spec.html

@@ -174,6 +174,9 @@ end
 <li><strong>Strict evaluation</strong>: arguments evaluated before function application</li>
 <li><strong>Immutable data</strong>: all values are immutable</li>
 </ul>
+<p>Many built-in functions in Graffiticode follow a model-threading pattern. In this pattern, functions are defined to take one or more arguments followed by a model, which represents the current state of the program or view. The function uses the earlier arguments to compute an update to the model and returns a new model as its result.</p>
+<p>This style enables a declarative and order-independent composition of functions. Since each function call returns a new model, multiple calls can be reordered without changing the final result, provided the functional dependencies are preserved.</p>
+<p>This approach draws inspiration from <strong>Model-View-Update</strong> (MVU) architectures, in which the model represents the application state and functions describe pure, deterministic transformations of that state.</p>
 </section>
 <section id="sec-Functions" secid="4.2">
 <h2><span class="spec-secid" title="link to this section"><a href="#sec-Functions">4.2</a></span>Functions</h2>
@@ -305,12 +308,12 @@ end
 </tr>
 <tr>
 <td align="left"><code>get</code></td>
-<td align="left"><code>&lt;record string: any&gt;</code></td>
+<td align="left"><code>&lt;string record: any&gt;</code></td>
 <td align="left">Retrieves a value from a record by key</td>
 </tr>
 <tr>
 <td align="left"><code>set</code></td>
-<td align="left"><code>&lt;record string any: record&gt;</code></td>
+<td align="left"><code>&lt;string any record: record&gt;</code></td>
 <td align="left">Returns a new record with a key set to a value</td>
 </tr>
 </tbody>
@@ -414,13 +417,13 @@ end
 <section id="sec-get" secid="5.2.17">
 <h3><span class="spec-secid" title="link to this section"><a href="#sec-get">5.2.17</a></span>get</h3>
 <p>Retrieve a record field</p>
-<pre><code>get {a: 1, b: 2} "b"  | returns 2
+<pre><code>get "b" {a: 1, b: 2}  | returns 2
 </code></pre>
 </section>
 <section id="sec-set" secid="5.2.18">
 <h3><span class="spec-secid" title="link to this section"><a href="#sec-set">5.2.18</a></span>set</h3>
 <p>Return a new record with an updated field</p>
-<pre><code>set {a: 1} "a" 2  | returns {a: 2}
+<pre><code>set "a" 2 {a: 1}  | returns {a: 2}
 </code></pre>
 </section>
 </section>

package/spec/spec.md

@@ -119,6 +119,14 @@ Tags are resolved as special constants with symbolic identity. They are case-sen
 - **Strict evaluation**: arguments evaluated before function application
 - **Immutable data**: all values are immutable
 
+Many built-in functions in Graffiticode follow a model-threading pattern. In this pattern, functions are defined to take one or more arguments followed by a model, which represents the current state of the program or view. The function uses the earlier arguments to compute an update to the model and returns a new model as its result.
+
+This style enables a declarative and order-independent composition of functions. Since each function call returns a new model, multiple calls can be reordered without changing the final result, provided the functional dependencies are preserved.
+
+This approach draws inspiration from **Model-View-Update** (MVU) architectures, in which the model represents the application state and functions describe pure, deterministic transformations of that state.
+
+
+
 ## Functions
 
 - **Fixed arity**: every function has a known number of parameters
@@ -167,8 +175,8 @@ Tags are resolved as special constants with symbolic identity. They are case-sen
 | `nth` | `<number list: any>` | Nth element of list |
 | `apply` | `<function list: any>` | Applies a function to a list of arguments |
 | `isEmpty` | `<list: bool>` | Returns true if the list is empty |
-| `get` | `<record string: any>` | Retrieves a value from a record by key |
-| `set` | `<record string any: record>` | Returns a new record with a key set to a value |
+| `get` | `<string record: any>` | Retrieves a value from a record by key |
+| `set` | `<string any record: record>` | Returns a new record with a key set to a value |
 
 ### add
 
@@ -303,7 +311,7 @@ isEmpty []  | returns true
 Retrieve a record field
 
 ```
-get {a: 1, b: 2} "b"  | returns 2
+get "b" {a: 1, b: 2}  | returns 2
 ```
 
 ### set
@@ -311,7 +319,7 @@ get {a: 1, b: 2} "b"  | returns 2
 Return a new record with an updated field
 
 ```
-set {a: 1} "a" 2  | returns {a: 2}
+set "a" 2 {a: 1}  | returns {a: 2}
 ```
 
 # Program Examples

package/src/compiler.js

@@ -1007,9 +1007,9 @@ export class Transformer extends Visitor {
     this.visit(node.elts[0], options, (e0, v0) => {
       this.visit(node.elts[1], options, (e1, v1) => {
         const err = [...e0, ...e1];
-        assert(typeof v0 === "object", "Type Error: expected v0 to be an object. Got " + JSON.stringify(v0));
-        assert(typeof v1 === "string", "Type Error: expected v1 to be a string.");
-        const val = v0[v1];
+        assert(typeof v0 === "string", "Type Error: expected v0 to be a string.");
+        assert(typeof v1 === "object", "Type Error: expected v1 to be an object. Got " + JSON.stringify(v1));
+        const val = v1[v0];
         resume(err, val);
       });
     });
@@ -1018,12 +1018,12 @@ export class Transformer extends Visitor {
     this.visit(node.elts[0], options, (e0, v0) => {
       this.visit(node.elts[1], options, (e1, v1) => {
         this.visit(node.elts[2], options, (e2, v2) => {
-          const err = [...e0, ...e1];
-          assert(typeof v0 === "object", "Type Error: expected v0 to be an object.");
-          assert(typeof v1 === "string", "Type Error: expected v1 to be a string.");
+          const err = [...e0, ...e1, ...e2];
+          assert(typeof v0 === "string", "Type Error: expected v0 to be a string.");
+          assert(typeof v2 === "object", "Type Error: expected v2 to be an object.");
           const val = {
-            ...v0,
-            [v1]: v2,
+            ...v2,
+            [v0]: v1,
           };
           resume(err, val);
         });

package/src/lexicon.js

@@ -11,14 +11,16 @@ export const lexicon = {
     "name": "GET",
     "cls": "function",
     "length": 2,
-    "arity": 2
+    "arity": 2,
+    "args": ["key", "record"]
   },
   "set" : {
     "tk": 1,
     "name": "SET",
     "cls": "function",
     "length": 3,
-    "arity": 3
+    "arity": 3,
+    "args": ["key", "value", "record"]
   },
   "nth" : {
     "tk": 1,