rip-lang 3.13.26 → 3.13.28

package/README.md

@@ -9,7 +9,7 @@
 </p>
 
 <p align="center">
-  <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-3.13.26-blue.svg" alt="Version"></a>
+  <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-3.13.28-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-1%2C300%2F1%2C300-brightgreen.svg" alt="Tests"></a>
   <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-green.svg" alt="License"></a>
@@ -205,6 +205,7 @@ All use `globalThis` with `??=` — override any by redeclaring locally.
 | `!` (void) | `def process!` | Suppresses implicit return |
 | `!?` (otherwise) | `val !? 5` | Default only if `undefined` (infix) |
 | `!?` (defined) | `val!?` | True if not `undefined` (postfix) |
+| `?!` (presence) | `@checked?!` | True if truthy, else `undefined` (Houdini operator) |
 | `?` (existence) | `x?` | True if `x != null` |
 | `?:` (ternary) | `x > 0 ? 'yes' : 'no'` | JS-style ternary expression |
 | `if...else` (postfix) | `"yes" if cond else "no"` | Python-style ternary expression |
@@ -354,7 +355,7 @@ The UI framework is built into rip-lang: file-based router, reactive stash, comp
 | **Self-hosting** | No | Yes |
 | **Lexer** | 3,558 LOC | 2,024 LOC |
 | **Compiler** | 10,346 LOC | 3,293 LOC |
-| **Total** | 17,760 LOC | ~11,300 LOC |
+| **Total** | 17,760 LOC | ~11,890 LOC |
 
 Smaller codebase, modern output, built-in reactivity.
 
@@ -389,25 +390,25 @@ await rip("res = fetch! 'https://api.example.com/todos/1'; res.json!")  // → {
 
 ```
 Source  ->  Lexer  ->  emitTypes  ->  Parser  ->  S-Expressions  ->  Codegen  ->  JavaScript
-           (1,761)    (types.js)     (359)       ["=", "x", 42]     (3,293)      + source map
+           (1,778)    (types.js)     (359)       ["=", "x", 42]     (3,334)      + source map
 ```
 
 Simple arrays (with `.loc`) instead of AST node classes. The compiler is self-hosting — `bun run parser` rebuilds from source.
 
 | Component | File | Lines |
 |-----------|------|-------|
-| Lexer + Rewriter | `src/lexer.js` | 1,761 |
-| Compiler + Codegen | `src/compiler.js` | 3,303 |
-| Type System | `src/types.js` | 1,099 |
-| Component System | `src/components.js` | 1,877 |
+| Lexer + Rewriter | `src/lexer.js` | 1,778 |
+| Compiler + Codegen | `src/compiler.js` | 3,334 |
+| Type System | `src/types.js` | 1,091 |
+| Component System | `src/components.js` | 2,026 |
 | Source Maps | `src/sourcemaps.js` | 189 |
-| Parser (generated) | `src/parser.js` | 357 |
-| Grammar | `src/grammar/grammar.rip` | 944 |
+| Type Checking | `src/typecheck.js` | 442 |
+| Parser (generated) | `src/parser.js` | 359 |
+| Grammar | `src/grammar/grammar.rip` | 948 |
 | Parser Generator | `src/grammar/solar.rip` | 929 |
-| REPL | `src/repl.js` | 601 |
-| Browser Entry | `src/browser.js` | 167 |
-| Tags | `src/tags.js` | 62 |
-| **Total** | | **~11,289** |
+| REPL | `src/repl.js` | 600 |
+| Browser Entry | `src/browser.js` | 194 |
+| **Total** | | **~11,890** |
 
 ---
 
@@ -417,14 +418,14 @@ Rip includes optional packages for full-stack development:
 
 | Package | Version | Purpose |
 |---------|---------|---------|
-| [rip-lang](https://www.npmjs.com/package/rip-lang) | 3.13.13 | Core language compiler |
-| [@rip-lang/server](packages/server/) | 1.2.11 | Multi-worker app server (web framework, hot reload, HTTPS, mDNS) |
-| [@rip-lang/db](packages/db/) | 1.3.13 | DuckDB server with official UI + ActiveRecord-style client |
-| [@rip-lang/grid](packages/grid/) | 0.2.8 | Reactive data grid |
-| [@rip-lang/swarm](packages/swarm/) | 1.2.16 | Parallel job runner with worker pool |
-| [@rip-lang/csv](packages/csv/) | 1.3.4 | CSV parser + writer |
-| [@rip-lang/schema](packages/schema/) | 0.3.6 | Unified schema → TypeScript types, SQL DDL, validation, ORM |
-| [VS Code Extension](packages/vscode/) | 0.5.0 | Syntax highlighting, type intelligence, source maps |
+| [rip-lang](https://www.npmjs.com/package/rip-lang) | 3.13.27 | Core language compiler |
+| [@rip-lang/server](packages/server/) | 1.3.12 | Multi-worker app server (web framework, hot reload, HTTPS, mDNS) |
+| [@rip-lang/db](packages/db/) | 1.3.15 | DuckDB server with official UI + ActiveRecord-style client |
+| [@rip-lang/grid](packages/grid/) | 0.2.10 | Reactive data grid |
+| [@rip-lang/swarm](packages/swarm/) | 1.2.18 | Parallel job runner with worker pool |
+| [@rip-lang/csv](packages/csv/) | 1.3.6 | CSV parser + writer |
+| [@rip-lang/schema](packages/schema/) | 0.3.8 | Unified schema → TypeScript types, SQL DDL, validation, ORM |
+| [VS Code Extension](packages/vscode/) | 0.5.7 | Syntax highlighting, type intelligence, source maps |
 
 ```bash
 bun add -g @rip-lang/db    # Installs everything (rip-lang + server + db)
@@ -462,7 +463,7 @@ rip file.rip           # Run
 rip -c file.rip        # Compile
 rip -t file.rip        # Tokens
 rip -s file.rip        # S-expressions
-bun run test           # 1265 tests
+bun run test           # 1369 tests
 bun run parser         # Rebuild parser
 bun run build          # Build browser bundle
 ```
@@ -473,9 +474,9 @@ bun run build          # Build browser bundle
 
 | Guide | Description |
 |-------|-------------|
-| [docs/RIP-LANG.md](docs/RIP-LANG.md) | Full language reference (syntax, operators, reactivity, types, future ideas) |
-| [docs/RIP-INTERNALS.md](docs/RIP-INTERNALS.md) | Compiler architecture (lexer, parser, codegen, S-expressions) |
+| [docs/RIP-LANG.md](docs/RIP-LANG.md) | Full language reference (syntax, operators, reactivity, types, components) |
 | [docs/RIP-TYPES.md](docs/RIP-TYPES.md) | Type system specification |
+| [AGENTS.md](AGENTS.md) | Compiler architecture, S-expressions, component system internals |
 | [AGENTS.md](AGENTS.md) | AI agents — get up to speed for working on the compiler |
 
 ---

package/bin/rip

@@ -69,6 +69,7 @@ Examples:
   rip -m example.rip            # Compile with inline source map
   rip -cd example.rip           # Show compiled JS and type declarations
   rip -q -c example.rip         # Just the JS, no headers (for piping)
+  echo 'p 1 + 2' | rip          # Execute from stdin
   echo 'x = 1 + 2' | rip -c     # Compile from stdin
 
 Shebang support:
@@ -172,14 +173,29 @@ async function main() {
     }
   }
 
-  // Execute script directly (no compile flags)
+  // Stdin: write to temp .rip file so it flows through the normal execution/compile paths
   const hasCompileFlag = showCompiled || showTokens || showSExpr || generateDts || generateMap || outputFile;
-  if (inputFile && !hasCompileFlag && isFile(inputFile)) {
+  let isStdin = false;
+  if (!inputFile) {
+    const tmp = join(process.cwd(), '.__rip_stdin__.rip');
+    try {
+      writeFileSync(tmp, readFileSync(0, 'utf-8'));
+      inputFile = tmp;
+      isStdin = true;
+    } catch (error) {
+      console.error('Error reading stdin:', error.message);
+      process.exit(1);
+    }
+  }
+
+  // Execute script directly (no compile flags)
+  if (!hasCompileFlag && isFile(inputFile)) {
     if (inputFile.endsWith('.rip')) {
       const result = spawnSync('bun', ['--preload', loaderPath, inputFile, ...scriptArgs], {
         stdio: 'inherit',
         env: process.env
       });
+      if (isStdin) try { unlinkSync(inputFile); } catch {}
       process.exit(result.status ?? 1);
     }
 
@@ -201,7 +217,7 @@ async function main() {
 
   // Fallback: look for bin/{command} in git repo root
   // Allows `rip migrate --status` to find and run {repo}/bin/migrate
-  if (inputFile && !inputFile.startsWith('-') && !isFile(inputFile)) {
+  if (!isStdin && inputFile && !inputFile.startsWith('-') && !isFile(inputFile)) {
     try {
       const repoRoot = execSync('git rev-parse --show-toplevel', {
         encoding: 'utf-8',
@@ -215,33 +231,26 @@ async function main() {
     } catch {}
   }
 
-  // --- Compile ---
+  // --- Compile (with flags) ---
 
-  let source;
+  if (!isFile(inputFile)) {
+    console.error(`Error: File not found: ${inputFile}`);
+    process.exit(1);
+  }
 
-  try {
-    if (inputFile) {
-      if (!isFile(inputFile)) {
-        console.error(`Error: File not found: ${inputFile}`);
-        process.exit(1);
-      }
-      source = readFileSync(inputFile, 'utf-8');
-    } else {
-      source = readFileSync(0, 'utf-8');
-    }
+  let source = readFileSync(inputFile, 'utf-8');
 
+  try {
     const compiler = new Compiler({ showTokens, showSExpr, quiet,
       types: generateDts ? 'emit' : undefined,
       sourceMap: generateMap ? 'inline' : undefined,
     });
     const result = compiler.compile(source);
 
-    const shouldShowCompiled = showCompiled || (!showTokens && !showSExpr && !generateDts) || outputFile;
-
     if (outputFile) {
       writeFileSync(outputFile, result.code, 'utf-8');
       if (!quiet) console.log(`Compiled to ${outputFile}`);
-    } else if (shouldShowCompiled) {
+    } else if (showCompiled) {
       if (!quiet) console.log(`// == JavaScript output by Rip ${VERSION} == //\n`);
       console.log(result.code);
     }
@@ -254,6 +263,8 @@ async function main() {
     console.error('Compilation Error:', error.message);
     if (error.stack) console.error(error.stack);
     process.exit(1);
+  } finally {
+    if (isStdin) try { unlinkSync(inputFile); } catch {}
   }
 }
 

package/docs/RIP-LANG.md

@@ -2,7 +2,7 @@
 
 # Rip Language Reference
 
-Rip is a modern reactive language that compiles to ES2022 JavaScript. It combines CoffeeScript's elegant syntax with built-in reactivity primitives. Zero dependencies, self-hosting, ~13,500 LOC.
+Rip is a modern reactive language that compiles to ES2022 JavaScript. It combines CoffeeScript's elegant syntax with built-in reactivity primitives. Zero dependencies, self-hosting, ~11,890 LOC.
 
 ---
 
@@ -295,6 +295,7 @@ Multiple lines
 | `of` | `k of obj` | Object key existence |
 | `?` (postfix) | `a?` | Existence check (`a != null`) |
 | `!?` (postfix) | `a!?` | Defined check (`a !== undefined`) |
+| `?!` (postfix) | `a?!` | Presence check — true if truthy, else undefined |
 | `?` (ternary) | `a ? b : c` | Ternary conditional |
 | `if...else` (postfix) | `b if a else c` | Python-style ternary |
 | `?.` `?.[]` `?.()` | `a?.b` `a?.[0]` `a?.()` | Optional chaining (ES6) |
@@ -315,6 +316,7 @@ Multiple lines
 | `!` | Void | `def process!` | Suppresses implicit return |
 | `!?` | Otherwise | `val !? 5` | Default if undefined (infix) |
 | `!?` | Defined | `val!?` | True if not undefined (postfix) |
+| `?!` | Presence | `@checked?!` | `(this.checked ? true : undefined)` — Houdini operator |
 | `=~` | Match | `str =~ /pat/` | Ruby-style regex match, captures in `_` |
 | `::` | Prototype | `String::trim` | `String.prototype.trim` |
 | `[-n]` | Negative index | `arr[-1]` | `arr.at(-1)` |
@@ -404,6 +406,40 @@ The postfix form mirrors `?` (existence check) but with tighter semantics:
 |----------|--------|--------|-------------|-----|---------|------|
 | `v?` | not nullish | false | false | true | true | true |
 | `v!?` | not undefined | true | false | true | true | true |
+| `v?!` | truthy presence | `undefined` | `undefined` | `undefined` | `undefined` | `undefined` |
+
+Note: `v?!` returns `true` for truthy values, `undefined` for falsy values.
+
+## Presence Operator (`?!`) — The Houdini
+
+The `?!` operator (postfix, unspaced) returns `true` if the value is truthy,
+or `undefined` if it's falsy. Now you see it… now you don't.
+
+```coffee
+@checked?!           # (this.checked ? true : undefined)
+(idx is active)?!    # ((idx === active) ? true : undefined)
+```
+
+Designed for `data-*` attributes in headless UI components, where falsy values
+need to *remove* the attribute rather than set it to `"false"`:
+
+```coffee
+# Before — verbose and repetitive
+data-checked: (@checked or undefined),
+data-disabled: (@disabled or undefined),
+
+# After — clean and expressive
+data-checked: @checked?!,
+data-disabled: @disabled?!,
+```
+
+Works with any expression, not just identifiers:
+
+```coffee
+data-highlighted: (idx is highlightedIndex)?!,
+data-selected: (opt.value is String(@value))?!,
+data-active: (tab is @active)?!,
+```
 
 ## Method Assignment (`.=`)
 
@@ -1337,6 +1373,225 @@ Counter = component
       button @click: @increment, "+"
 ```
 
+### Component Features
+
+**State and Computed:**
+
+```coffee
+App = component
+  count := 0              # reactive state
+  doubled ~= count * 2    # computed (auto-updates)
+  label =! "Counter"      # readonly (const)
+```
+
+**Public Props (passed from parent):**
+
+```coffee
+Card = component
+  @title =! "Untitled"    # readonly prop with default
+  @count := 0             # reactive prop (two-way capable)
+```
+
+```coffee
+# Parent passes props
+Card title: "Hello", count: 42
+```
+
+**Methods:**
+
+```coffee
+App = component
+  count := 0
+  inc = -> @count += 1
+  add = (n) -> @count += n
+```
+
+**Lifecycle Hooks:**
+
+```coffee
+App = component
+  beforeMount = -> p "about to mount"
+  mounted     = -> p "mounted"
+  updated     = -> p "updated"
+  beforeUnmount = -> p "about to unmount"
+  unmounted   = -> p "unmounted"
+  onError     = (err, comp) -> p "caught: #{err.message}"
+```
+
+**Effects:**
+
+```coffee
+App = component
+  count := 0
+  ~> p "count is now #{count}"    # re-runs when count changes
+```
+
+**Render Blocks — Template Syntax:**
+
+```coffee
+App = component
+  name := "world"
+  render
+    div.card                       # element with class
+      h1#title "Hello"             # element with id
+      span name                    # reactive text
+      input value <=> name         # two-way binding
+      button @click: -> @name = "Rip"
+        "Click me"
+```
+
+**Conditional Rendering:**
+
+```coffee
+App = component
+  show := true
+  render
+    if show
+      div "Visible!"
+    else
+      div "Hidden"
+```
+
+**List Rendering:**
+
+```coffee
+App = component
+  items := ["Apple", "Banana", "Cherry"]
+  render
+    ul
+      for item, i in items
+        li item
+```
+
+Lists use keyed reconciliation with LIS (Longest Increasing Subsequence) diffing — only items that actually move get repositioned. Appending to a list is nearly zero-cost.
+
+**Child Components and Slots:**
+
+```coffee
+Card = component
+  @title =! "Card"
+  @children =! null
+  render
+    div.card
+      h2 @title
+      @children
+
+App = component
+  render
+    Card title: "Welcome"
+      p "This is the card body"
+```
+
+**CSS Transitions:**
+
+Add `~name` to any element inside a conditional block for enter/leave animations:
+
+```coffee
+App = component
+  show := true
+  render
+    button @click: -> @show = !show
+      "Toggle"
+    if show
+      div ~fade
+        p "I fade in and out"
+```
+
+Built-in presets:
+
+| Preset | Effect |
+|--------|--------|
+| `~fade` | Opacity fade |
+| `~slide` | Slide up/down with opacity |
+| `~scale` | Scale from 95% with opacity |
+| `~blur` | Blur with opacity |
+| `~fly` | Fly in/out from distance with opacity |
+
+Custom transitions work with any name — just provide your own CSS:
+
+```css
+.wobble-enter-active, .wobble-leave-active { transition: transform 0.3s ease; }
+.wobble-enter-from { transform: rotate(-5deg); }
+.wobble-leave-to { transform: rotate(5deg); }
+```
+
+```coffee
+div ~wobble
+  span "Custom animation"
+```
+
+**Error Boundaries:**
+
+The `onError` lifecycle hook catches errors from child components:
+
+```coffee
+App = component
+  onError = (err, source) ->
+    p "Error in #{source}: #{err.message}"
+  render
+    ChildThatMightFail
+```
+
+Errors walk up the component tree (`_parent` chain) to the nearest `onError` handler. Without a boundary, errors throw normally.
+
+**Context API:**
+
+Share data across the component tree without prop drilling:
+
+```coffee
+ThemeProvider = component
+  ~> setContext "theme", "dark"
+
+ThemedButton = component
+  theme =! getContext "theme"
+  render
+    button class: theme
+```
+
+**SVG Rendering:**
+
+SVG elements use `createElementNS` automatically:
+
+```coffee
+Icon = component
+  render
+    svg.icon
+      path d: "M10 10 L20 20"
+      circle cx: "50", cy: "50", r: "40"
+```
+
+**Dynamic Classes:**
+
+```coffee
+App = component
+  isActive := true
+  render
+    div.card class: (isActive && "active")
+    div.("card", isActive && "active")       # .() syntax
+```
+
+**Hyphenated Attributes:**
+
+```coffee
+div data-testid: "main", aria-label: "content"
+```
+
+**DOM Properties:**
+
+```coffee
+div innerHTML: content     # reactive innerHTML
+div textContent: text      # reactive textContent
+```
+
+**Element Refs:**
+
+```coffee
+App = component
+  render
+    canvas ref: "canvas"
+  mounted = -> p @canvas   # access the DOM element
+```
+
 ## @rip-lang/db — DuckDB Server + Client
 
 HTTP server for DuckDB with the official DuckDB UI built in, plus an ActiveRecord-style client library.
@@ -1733,6 +1988,7 @@ X.new(a: 1)
 a!             # await a()
 a !? b         # a if defined, else b (infix otherwise)
 a!?            # true if a is defined (postfix defined check)
+a?!            # true if truthy, else undefined (Houdini)
 a // b         # floor divide
 a %% b         # true modulo
 a =~ /pat/     # regex match, captures in _
@@ -1824,9 +2080,8 @@ Each would need design discussion before building.
 |----------|---------|
 | **[RIP-LANG.md](RIP-LANG.md)** | Full language reference (this file) |
 | **[RIP-TYPES.md](RIP-TYPES.md)** | Type system specification |
-| **[RIP-INTERNALS.md](RIP-INTERNALS.md)** | Compiler architecture & design decisions |
-| **[AGENTS.md](../AGENTS.md)** | AI agent guide for working on the compiler |
+| **[AGENTS.md](../AGENTS.md)** | Compiler architecture, S-expressions, AI agent guide |
 
 ---
 
-*Rip 3.13 — 1,265 tests — Zero dependencies — Self-hosting — ~13,500 LOC*
+*Rip 3.13 — 1,369 tests — Zero dependencies — Self-hosting — ~11,890 LOC*

package/docs/RIP-TYPES.md

@@ -1978,4 +1978,4 @@ The type system uses a two-phase approach:
 
 **See Also:**
 - [RIP-LANG.md](RIP-LANG.md) — Language reference (includes reactivity and types)
-- [RIP-INTERNALS.md](RIP-INTERNALS.md) — Compiler internals
+- [AGENTS.md](../AGENTS.md) — Compiler architecture, S-expressions, design decisions