rip-lang 2.8.6 → 2.8.7

package/README.md

@@ -9,9 +9,9 @@
 </p>
 
 <p align="center">
-  <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-2.8.6-blue.svg" alt="Version"></a>
+  <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-2.8.7-blue.svg" alt="Version"></a>
   <a href="#zero-dependencies"><img src="https://img.shields.io/badge/dependencies-ZERO-brightgreen.svg" alt="Dependencies"></a>
-  <a href="#"><img src="https://img.shields.io/badge/tests-1021%2F1021-brightgreen.svg" alt="Tests"></a>
+  <a href="#"><img src="https://img.shields.io/badge/tests-1098%2F1098-brightgreen.svg" alt="Tests"></a>
   <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-green.svg" alt="License"></a>
 </p>
 
@@ -122,6 +122,8 @@ State, computed values, and effects as language operators:
 | `=~` | `str =~ /Hello, (\w+)/` | Match (captures in `_`) |
 | `[//, n]` | `str[/Hello, (\w+)/, 1]` | Extract capture n |
 | `.new()` | `Dog.new()` | Ruby-style constructor |
+| `or return` | `x = get() or return err` | Guard clause (Ruby-style) |
+| `?? throw` | `x = get() ?? throw err` | Nullish guard (null/undefined only) |
 
 **Optional chaining** — Both CoffeeScript and ES6 styles are supported:
 
@@ -261,7 +263,7 @@ rip file.rip           # Run
 rip -c file.rip        # Compile
 rip -t file.rip        # Tokens
 rip -s file.rip        # S-expressions
-bun run test           # 1021 tests
+bun run test           # 1098 tests
 bun run parser         # Rebuild parser
 bun run browser        # Build browser bundle
 ```

package/docs/dist/rip.browser.js

@@ -7627,8 +7627,8 @@ function compileToJS(source, options = {}) {
   return new Compiler(options).compileToJS(source);
 }
 // src/browser.js
-var VERSION = "2.8.6";
-var BUILD_DATE = "2026-02-04@11:11:08GMT";
+var VERSION = "2.8.7";
+var BUILD_DATE = "2026-02-04@11:45:06GMT";
 var dedent = (s) => {
   const m = s.match(/^[ \t]*(?=\S)/gm);
   const i = Math.min(...(m || []).map((x) => x.length));

package/docs/dist/rip.browser.min.js

@@ -530,4 +530,4 @@ function __catchErrors(fn) {
 `),X=E.findIndex((G)=>G==="__DATA__");if(X!==-1){let G=E.slice(X+1);_=G.length>0?G.join(`
 `)+`
 `:"",$=E.slice(0,X).join(`
-`)}let A=new m1().tokenize($);if(this.options.showTokens)A.forEach((G)=>console.log(`${G[0].padEnd(12)} ${JSON.stringify(G[1])}`)),console.log();$1.lexer={tokens:A,pos:0,setInput:function(){},lex:function(){if(this.pos>=this.tokens.length)return 1;let G=this.tokens[this.pos++];return this.yytext=G[1],this.yylloc=G[2],G[0]}};let U;try{U=$1.parse($)}catch(G){if(/\?\s*\([^)]*\?[^)]*:[^)]*\)\s*:/.test($)||/\?\s+\w+\s+\?\s+/.test($))throw Error("Nested ternary operators are not supported. Use if/else statements instead.");throw G}if(this.options.showSExpr)console.log(o(U,0,!0)),console.log();let Y=new c({dataSection:_,skipReactiveRuntime:this.options.skipReactiveRuntime,reactiveVars:this.options.reactiveVars}),F=Y.compile(U);return{tokens:A,sexpr:U,code:F,data:_,reactiveVars:Y.reactiveVars}}compileToJS($){return this.compile($).code}compileToSExpr($){return this.compile($).sexpr}}function U3($,_={}){return new O1(_).compile($)}function S1($,_={}){return new O1(_).compileToJS($)}var Q3="2.8.6",W3="2026-02-04@11:11:08GMT",$3=($)=>{let _=$.match(/^[ \t]*(?=\S)/gm),E=Math.min(...(_||[]).map((X)=>X.length));return $.replace(RegExp(`^[ 	]{${E}}`,"gm"),"").trim()};async function k2(){let $=document.querySelectorAll('script[type="text/rip"]');for(let _ of $){if(_.hasAttribute("data-rip-processed"))continue;try{let E=$3(_.textContent),X=S1(E);(0,eval)(X),_.setAttribute("data-rip-processed","true")}catch(E){console.error("Error compiling Rip script:",E),console.error("Script content:",_.textContent)}}}if(typeof document<"u")if(document.readyState==="loading")document.addEventListener("DOMContentLoaded",k2);else k2();function X3($){try{let E=S1($).replace(/^let\s+[^;]+;\s*\n\s*/m,"");E=E.replace(/^const\s+/gm,"var ");let X=(0,eval)(E);if(X!==void 0)globalThis._=X;return X}catch(_){console.error("Rip compilation error:",_.message);return}}if(typeof globalThis<"u")globalThis.rip=X3;export{X3 as rip,k2 as processRipScripts,$1 as parser,o as formatSExpr,S1 as compileToJS,U3 as compile,Q3 as VERSION,m1 as Lexer,O1 as Compiler,c as CodeGenerator,W3 as BUILD_DATE};
+`)}let A=new m1().tokenize($);if(this.options.showTokens)A.forEach((G)=>console.log(`${G[0].padEnd(12)} ${JSON.stringify(G[1])}`)),console.log();$1.lexer={tokens:A,pos:0,setInput:function(){},lex:function(){if(this.pos>=this.tokens.length)return 1;let G=this.tokens[this.pos++];return this.yytext=G[1],this.yylloc=G[2],G[0]}};let U;try{U=$1.parse($)}catch(G){if(/\?\s*\([^)]*\?[^)]*:[^)]*\)\s*:/.test($)||/\?\s+\w+\s+\?\s+/.test($))throw Error("Nested ternary operators are not supported. Use if/else statements instead.");throw G}if(this.options.showSExpr)console.log(o(U,0,!0)),console.log();let Y=new c({dataSection:_,skipReactiveRuntime:this.options.skipReactiveRuntime,reactiveVars:this.options.reactiveVars}),F=Y.compile(U);return{tokens:A,sexpr:U,code:F,data:_,reactiveVars:Y.reactiveVars}}compileToJS($){return this.compile($).code}compileToSExpr($){return this.compile($).sexpr}}function U3($,_={}){return new O1(_).compile($)}function S1($,_={}){return new O1(_).compileToJS($)}var Q3="2.8.7",W3="2026-02-04@11:45:06GMT",$3=($)=>{let _=$.match(/^[ \t]*(?=\S)/gm),E=Math.min(...(_||[]).map((X)=>X.length));return $.replace(RegExp(`^[ 	]{${E}}`,"gm"),"").trim()};async function k2(){let $=document.querySelectorAll('script[type="text/rip"]');for(let _ of $){if(_.hasAttribute("data-rip-processed"))continue;try{let E=$3(_.textContent),X=S1(E);(0,eval)(X),_.setAttribute("data-rip-processed","true")}catch(E){console.error("Error compiling Rip script:",E),console.error("Script content:",_.textContent)}}}if(typeof document<"u")if(document.readyState==="loading")document.addEventListener("DOMContentLoaded",k2);else k2();function X3($){try{let E=S1($).replace(/^let\s+[^;]+;\s*\n\s*/m,"");E=E.replace(/^const\s+/gm,"var ");let X=(0,eval)(E);if(X!==void 0)globalThis._=X;return X}catch(_){console.error("Rip compilation error:",_.message);return}}if(typeof globalThis<"u")globalThis.rip=X3;export{X3 as rip,k2 as processRipScripts,$1 as parser,o as formatSExpr,S1 as compileToJS,U3 as compile,Q3 as VERSION,m1 as Lexer,O1 as Compiler,c as CodeGenerator,W3 as BUILD_DATE};

package/docs/repl.html

@@ -659,6 +659,7 @@ console.log "Domain:", domain</textarea>
     let replHistory = [];
     let historyIndex = -1;
     let replBuffer = '';
+    let reactiveVars = new Set();  // Track reactive variables across evaluations
 
     // Create isolated iframe context for REPL (like vm.createContext in Node)
     const iframe = document.createElement('iframe');
@@ -670,6 +671,90 @@ console.log "Domain:", domain</textarea>
     replContext.console = console;
     replContext.showSexp = false;
     replContext.showTokens = false;
+    replContext.__reactiveVars = {};  // Store reactive objects persistently
+
+    // Inject reactive runtime into iframe context
+    (function injectReactiveRuntime() {
+      const ctx = replContext;
+      ctx.__currentEffect = null;
+      ctx.__pendingEffects = new Set();
+
+      ctx.__state = function(v) {
+        const subs = new Set();
+        let notifying = false, locked = false, dead = false;
+        const s = {
+          get value() { if (dead) return v; if (ctx.__currentEffect) { subs.add(ctx.__currentEffect); ctx.__currentEffect.dependencies.add(subs); } return v; },
+          set value(n) {
+            if (dead || locked || n === v || notifying) return;
+            v = n;
+            notifying = true;
+            for (const sub of subs) if (sub.markDirty) sub.markDirty();
+            for (const sub of subs) if (!sub.markDirty) ctx.__pendingEffects.add(sub);
+            const fx = [...ctx.__pendingEffects]; ctx.__pendingEffects.clear();
+            for (const e of fx) e.run();
+            notifying = false;
+          },
+          read() { return v; },
+          lock() { locked = true; return s; },
+          free() { subs.clear(); return s; },
+          kill() { dead = true; subs.clear(); return v; },
+          valueOf() { return this.value; },
+          toString() { return String(this.value); },
+          [Symbol.toPrimitive](hint) { return hint === 'string' ? this.toString() : this.valueOf(); }
+        };
+        return s;
+      };
+
+      ctx.__computed = function(fn) {
+        let v, dirty = true, locked = false, dead = false;
+        const subs = new Set();
+        const c = {
+          dependencies: new Set(),
+          markDirty() {
+            if (dead || locked || dirty) return;
+            dirty = true;
+            for (const s of subs) if (s.markDirty) s.markDirty();
+            for (const s of subs) if (!s.markDirty) ctx.__pendingEffects.add(s);
+          },
+          get value() {
+            if (dead) return v;
+            if (ctx.__currentEffect) { subs.add(ctx.__currentEffect); ctx.__currentEffect.dependencies.add(subs); }
+            if (dirty && !locked) {
+              for (const d of c.dependencies) d.delete(c); c.dependencies.clear();
+              const prev = ctx.__currentEffect; ctx.__currentEffect = c;
+              try { v = fn(); } finally { ctx.__currentEffect = prev; }
+              dirty = false;
+            }
+            return v;
+          },
+          read() { return dead ? v : c.value; },
+          lock() { locked = true; c.value; return c; },
+          free() { for (const d of c.dependencies) d.delete(c); c.dependencies.clear(); subs.clear(); return c; },
+          kill() { dead = true; const result = v; c.free(); return result; },
+          valueOf() { return this.value; },
+          toString() { return String(this.value); },
+          [Symbol.toPrimitive](hint) { return hint === 'string' ? this.toString() : this.valueOf(); }
+        };
+        return c;
+      };
+
+      ctx.__effect = function(fn) {
+        const e = {
+          dependencies: new Set(),
+          run() {
+            for (const d of e.dependencies) d.delete(e); e.dependencies.clear();
+            const prev = ctx.__currentEffect; ctx.__currentEffect = e;
+            try { fn(); } finally { ctx.__currentEffect = prev; }
+          },
+          free() { for (const d of e.dependencies) d.delete(e); e.dependencies.clear(); }
+        };
+        e.run();
+        return () => e.free();
+      };
+
+      ctx.__batch = function(fn) { fn(); };
+      ctx.__readonly = function(v) { return Object.freeze({ value: v }); };
+    })();
 
     function addOutput(content, className = '') {
       const line = document.createElement('div');
@@ -681,9 +766,17 @@ console.log "Domain:", domain</textarea>
 
     function evaluateRip(code) {
       try {
-        const result = compile(code);
+        // Pass reactiveVars to compiler so it knows which vars need .value access
+        const result = compile(code, { reactiveVars, skipReactiveRuntime: true });
         let js = result.code;
 
+        // Track new reactive variables
+        if (result.reactiveVars) {
+          for (const v of result.reactiveVars) {
+            reactiveVars.add(v);
+          }
+        }
+
         // REPL strategy: Strip let/const declarations entirely
         // Assignments will create properties on iframe's window (global scope)
         // This allows variables to persist between eval() calls
@@ -691,13 +784,22 @@ console.log "Domain:", domain</textarea>
         // Remove: let x, y, z;\n
         js = js.replace(/^let\s+[^;]+;\s*\n+/m, '');
 
-        // Remove: const x = ... (but keep the assignment)
+        // Transform reactive declarations to persist in __reactiveVars
+        // const x = __state(...) → x = __reactiveVars.x ?? (__reactiveVars.x = __state(...))
+        js = js.replace(
+          /^const\s+(\w+)\s*=\s*((?:__state|__computed|__effect)\(.+\));?$/gm,
+          (match, varName, rhs) => {
+            return `${varName} = __reactiveVars['${varName}'] ?? (__reactiveVars['${varName}'] = ${rhs});`;
+          }
+        );
+
+        // Remove remaining const (but keep the assignment) for non-reactive
         js = js.replace(/^const\s+(\w+)\s*=/gm, '$1 =');
 
         // Evaluate in iframe context - assignments create globals
         const evalResult = replContext.eval(js);
 
-        // Store in _
+        // Store in _ (unwrap reactive values)
         if (evalResult !== undefined) {
           replContext._ = evalResult;
         }
@@ -730,13 +832,27 @@ console.log "Domain:", domain</textarea>
 
         case '.clear':
           replOutput.innerHTML = '';
-          addOutput('<div class="welcome">Output cleared.</div>');
+          // Reset reactive tracking
+          reactiveVars.clear();
+          replContext.__reactiveVars = {};
+          // Clear all user-defined globals in iframe
+          const builtinsToKeep = ['console', 'showSexp', 'showTokens', 'eval', 'window', 'document',
+            'location', 'navigator', 'self', 'top', 'parent', 'frames', '__state', '__computed',
+            '__effect', '__batch', '__readonly', '__currentEffect', '__pendingEffects', '__reactiveVars'];
+          for (const key of Object.keys(replContext)) {
+            if (!builtinsToKeep.includes(key) && !key.startsWith('__')) {
+              try { delete replContext[key]; } catch {}
+            }
+          }
+          addOutput('<div class="welcome">Output and context cleared.</div>');
           break;
 
         case '.vars':
-          const builtins = ['console', 'showSexp', 'showTokens', 'eval', 'window', 'document', 'location', 'navigator', 'self', 'top', 'parent', 'frames'];
+          const builtins = ['console', 'showSexp', 'showTokens', 'eval', 'window', 'document',
+            'location', 'navigator', 'self', 'top', 'parent', 'frames', '__state', '__computed',
+            '__effect', '__batch', '__readonly', '__currentEffect', '__pendingEffects', '__reactiveVars'];
           const vars = Object.keys(replContext).filter(k =>
-            !builtins.includes(k) && !k.startsWith('_') || k === '_'
+            !builtins.includes(k) && !k.startsWith('__') || k === '_'
           );
           if (vars.length === 0 || (vars.length === 1 && vars[0] === '_' && replContext._ === undefined)) {
             addOutput('<span class="help-text">No variables defined</span>', 'command-output');
@@ -744,8 +860,21 @@ console.log "Domain:", domain</textarea>
             let output = '<span class="help-text">Variables:</span>\\n';
             vars.forEach(v => {
               try {
-                const val = JSON.stringify(replContext[v]);
-                output += `  <span class="var-name">${v}</span> = <span class="var-value">${val}</span>\\n`;
+                let val = replContext[v];
+                let typeIndicator = '=';
+                // Check if it's a reactive value
+                if (val && typeof val === 'object' && 'value' in val) {
+                  if (typeof val.markDirty === 'function') {
+                    typeIndicator = '<span style="color:#c586c0">~=</span>';  // computed
+                  } else if (typeof val === 'function') {
+                    typeIndicator = '<span style="color:#c586c0">~&gt;</span>';  // effect
+                  } else {
+                    typeIndicator = '<span style="color:#c586c0">:=</span>';  // state
+                  }
+                  val = val.value;
+                }
+                const formatted = formatValue(val);
+                output += `  <span class="var-name">${v}</span> ${typeIndicator} <span class="var-value">${escapeHtml(formatted)}</span>\\n`;
               } catch {
                 output += `  <span class="var-name">${v}</span> = <span class="var-value">[object]</span>\\n`;
               }
@@ -809,11 +938,14 @@ console.log "Domain:", domain</textarea>
           addOutput(`${formatted}`, 'command-output');
         }
 
-        // Show result
+        // Show result (unwrap reactive values)
         if (evalResult.value !== undefined) {
-          const formatted = typeof evalResult.value === 'object'
-            ? JSON.stringify(evalResult.value, null, 2)
-            : String(evalResult.value);
+          let displayValue = evalResult.value;
+          // Unwrap reactive objects to show their .value
+          if (displayValue && typeof displayValue === 'object' && 'value' in displayValue) {
+            displayValue = displayValue.value;
+          }
+          const formatted = formatValue(displayValue);
           addOutput(`<span class="result">→ ${escapeHtml(formatted)}</span>`);
         }
 
@@ -838,6 +970,23 @@ console.log "Domain:", domain</textarea>
         .replace(/"/g, '&quot;');
     }
 
+    // Format values for display (like Node's util.inspect)
+    function formatValue(val) {
+      if (val === null) return 'null';
+      if (val === undefined) return 'undefined';
+      if (val instanceof RegExp) return val.toString();
+      if (typeof val === 'function') return val.toString();
+      if (typeof val === 'string') return JSON.stringify(val);
+      if (typeof val === 'number' || typeof val === 'boolean') return String(val);
+      if (Array.isArray(val)) {
+        try { return JSON.stringify(val); } catch { return '[Array]'; }
+      }
+      if (typeof val === 'object') {
+        try { return JSON.stringify(val, null, 2); } catch { return '[Object]'; }
+      }
+      return String(val);
+    }
+
     // REPL input handling
     replInput.addEventListener('keydown', (e) => {
       if (e.key === 'Enter') {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "rip-lang",
-  "version": "2.8.6",
+  "version": "2.8.7",
   "description": "A modern language that compiles to JavaScript",
   "type": "module",
   "main": "src/compiler.js",

package/src/repl.js

@@ -43,13 +43,13 @@ export class RipREPL {
     this.historyFile = path.join(os.homedir(), '.rip_history');
     this.reactiveVars = new Set();  // Track reactive variables across lines
     this.cwd = process.cwd();
-    
+
     // Persisted variables across evaluations
     this.vars = {};
-    
+
     // Module cache for linked modules
     this.moduleCache = new Map();
-    
+
     // VM context with necessary globals
     this.vmContext = vm.createContext({
       console,
@@ -116,7 +116,7 @@ export class RipREPL {
   injectReactiveRuntime() {
     // Define reactive primitives in the VM context
     const ctx = this.vmContext;
-    
+
     ctx.__currentEffect = null;
     ctx.__pendingEffects = new Set();
 
@@ -367,11 +367,26 @@ export class RipREPL {
 
   // Evaluate using vm.SourceTextModule (no temp files!)
   async moduleEval(js) {
-    // Extract declared variables
+    // Extract declared variables (both let and const)
     const declaredVars = new Set();
     for (const match of js.matchAll(/^let\s+(\w+)/gm)) {
       declaredVars.add(match[1]);
     }
+    for (const match of js.matchAll(/^const\s+(\w+)\s*=/gm)) {
+      declaredVars.add(match[1]);
+    }
+
+    // Transform reactive declarations to persist in __vars
+    // const x = __state(...) → const x = __vars.x ?? (__vars.x = __state(...)); x;
+    // const x = __computed(...) → const x = __vars.x ?? (__vars.x = __computed(...)); x;
+    // const x = __effect(...) → const x = __vars.x ?? (__vars.x = __effect(...)); x;
+    // The trailing `x;` ensures the value is captured and displayed
+    js = js.replace(
+      /^const\s+(\w+)\s*=\s*((?:__state|__computed|__effect)\(.+\));?$/gm,
+      (match, varName, rhs) => {
+        return `const ${varName} = __vars['${varName}'] ?? (__vars['${varName}'] = ${rhs});\n${varName};`;
+      }
+    );
 
     // Transform await import() to static imports (workaround for Bun bug #24217)
     const dynamicImports = [];
@@ -388,20 +403,33 @@ export class RipREPL {
 
     // Restore existing variables and remove duplicate declarations
     const existingVars = Object.keys(this.vars);
-    for (const v of existingVars) {
+    const existingNonReactive = existingVars.filter(v => !this.reactiveVars.has(v));
+
+    for (const v of existingNonReactive) {
       js = js.replace(new RegExp(`^let ${v};\\n?`, 'm'), '');
       js = js.replace(new RegExp(`^let ${v}(\\s*=)`, 'm'), `${v}$1`);
     }
 
-    // Build restore code (get vars from __vars)
-    const restoreCode = existingVars
+    // Build restore code
+    // Non-reactive vars: let x = __vars['x'];
+    // Reactive vars: const x = __vars['x']; (they're already stored)
+    const nonReactiveRestore = existingNonReactive
       .filter(k => k !== '_')
       .map(v => `let ${v} = __vars['${v}'];`)
       .join('\n');
 
-    // Build save code (save vars back to __vars)
-    const allVars = [...new Set([...existingVars, ...declaredVars])].filter(k => k !== '_');
-    const saveCode = allVars
+    const reactiveRestore = [...this.reactiveVars]
+      .filter(v => existingVars.includes(v))
+      .map(v => `const ${v} = __vars['${v}'];`)
+      .join('\n');
+
+    const restoreCode = [nonReactiveRestore, reactiveRestore].filter(Boolean).join('\n');
+
+    // Build save code (save non-reactive vars back to __vars)
+    // Reactive vars are already saved via the const transformation
+    const nonReactiveVars = [...new Set([...existingNonReactive, ...declaredVars])]
+      .filter(k => k !== '_' && !this.reactiveVars.has(k));
+    const saveCode = nonReactiveVars
       .map(v => `if (typeof ${v} !== 'undefined') __vars['${v}'] = ${v};`)
       .join('\n');
 
@@ -437,7 +465,14 @@ export { __result };
   }
 
   printResult(value) {
-    const formatted = inspect(value, {
+    // For reactive values, show the actual value
+    let displayValue = value;
+    if (value && typeof value === 'object' && 'value' in value &&
+        (typeof value.valueOf === 'function' || typeof value.markDirty === 'function')) {
+      displayValue = value.value;
+    }
+
+    const formatted = inspect(displayValue, {
       colors: true,
       depth: 3,
       maxArrayLength: 100
@@ -539,8 +574,27 @@ ${colors.cyan}Tips:${colors.reset}
     console.log(`${colors.bright}Defined variables:${colors.reset}`);
     userVars.forEach(key => {
       const value = this.vars[key];
-      const preview = inspect(value, { colors: true, depth: 0, maxArrayLength: 3 });
-      console.log(`  ${colors.cyan}${key}${colors.reset} = ${preview}`);
+      const isReactive = this.reactiveVars.has(key);
+
+      // For reactive vars, display the .value and indicate the type
+      let displayValue, typeIndicator;
+      if (isReactive && value && typeof value === 'object' && 'value' in value) {
+        displayValue = value.value;
+        // Determine reactive type
+        if (typeof value.markDirty === 'function') {
+          typeIndicator = `${colors.magenta}~=${colors.reset}`;  // computed
+        } else if (typeof value.run === 'function' || typeof value === 'function') {
+          typeIndicator = `${colors.magenta}~>${colors.reset}`;  // effect
+        } else {
+          typeIndicator = `${colors.magenta}:=${colors.reset}`;  // state
+        }
+      } else {
+        displayValue = value;
+        typeIndicator = `${colors.gray}=${colors.reset}`;
+      }
+
+      const preview = inspect(displayValue, { colors: true, depth: 0, maxArrayLength: 3 });
+      console.log(`  ${colors.cyan}${key}${colors.reset} ${typeIndicator} ${preview}`);
     });
 
     if (this.vars._ !== undefined) {