rip-lang 3.1.1 → 3.2.0

package/README.md

@@ -11,7 +11,7 @@
 <p align="center">
   <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-3.1.0-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-1073%2F1073-brightgreen.svg" alt="Tests"></a>
+  <a href="#"><img src="https://img.shields.io/badge/tests-1130%2F1130-brightgreen.svg" alt="Tests"></a>
   <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-green.svg" alt="License"></a>
 </p>
 
@@ -40,6 +40,7 @@ get '/users/:id' ->                 # RESTful API endpoint, comma-less
 - **Modern output** — ES2022 with native classes, `?.`, `??`, modules
 - **New operators** — `!`, `!?`, `//`, `%%`, `=~`, `.new()`, and more
 - **Reactive operators** — `:=`, `~=`, `~>` as language syntax
+- **Optional types** — `::` annotations, `::=` aliases, `.d.ts` emission
 - **Zero dependencies** — everything included, even the parser generator
 - **Self-hosting** — `bun run parser` rebuilds the compiler from source
 
@@ -137,6 +138,27 @@ State, computed values, and effects as language operators:
 
 ---
 
+### Types (Optional)
+
+Type annotations are erased at compile time — zero runtime cost:
+
+```coffee
+def greet(name:: string):: string        # Typed function
+  "Hello, #{name}!"
+
+User ::= type                            # Structural type
+  id: number
+  name: string
+
+enum HttpCode                            # Runtime enum
+  ok = 200
+  notFound = 404
+```
+
+Compiles to `.js` (types erased) + `.d.ts` (types preserved) — full IDE support via TypeScript Language Server. See [docs/RIP-TYPES.md](docs/RIP-TYPES.md).
+
+---
+
 ## Operators
 
 | Operator | Example | What it does |

package/bin/rip

@@ -25,6 +25,7 @@ Usage:
 
 Options:
   -c, --compile       Show compiled JavaScript output
+  -d, --dts           Generate .d.ts type declaration file
   -h, --help          Show this help message
   -o, --output <file> Write JavaScript to file
   -q, --quiet         Suppress headers
@@ -44,6 +45,8 @@ Examples:
   rip -t example.rip            # Show ONLY tokens
   rip -s -c example.rip         # Show s-expressions AND JavaScript
   rip -s -t -c example.rip      # Show everything (full debug mode)
+  rip -d example.rip            # Generate example.d.ts
+  rip -cd example.rip           # Compile JS and generate .d.ts
   rip -q -c example.rip         # Just the JS, no headers (for piping)
   rip -w                        # Launch browser REPL (auto-opens)
   echo 'x = 1 + 2' | rip -c     # Compile from stdin
@@ -142,12 +145,14 @@ async function main() {
   const showTokens = ripOptions.includes('-t') || ripOptions.includes('--tokens');
   const showSExpr = ripOptions.includes('-s') || ripOptions.includes('--sexpr');
   const showCompiled = ripOptions.includes('-c') || ripOptions.includes('--compile');
+  const generateDts = ripOptions.includes('-d') || ripOptions.includes('--dts');
   const quiet = ripOptions.includes('-q') || ripOptions.includes('--quiet');
 
   const options = {
     showTokens,
     showSExpr,
-    quiet
+    quiet,
+    types: generateDts ? 'emit' : undefined
   };
 
   // Find input file and output file from ripOptions only
@@ -162,7 +167,7 @@ async function main() {
   }
 
   // If .rip file without compile flags → execute instead of compile
-  const hasCompileFlag = showCompiled || showTokens || showSExpr || outputFile;
+  const hasCompileFlag = showCompiled || showTokens || showSExpr || generateDts || outputFile;
   if (inputFile && inputFile.endsWith('.rip') && !hasCompileFlag) {
     // Check if file exists
     if (!existsSync(inputFile)) {
@@ -255,6 +260,23 @@ async function main() {
       }
       console.log(result.code);
     }
+
+    // Write .d.ts file
+    if (generateDts && result.dts) {
+      if (inputFile) {
+        let dtsFile = inputFile.replace(/\.rip$/, '.d.ts');
+        writeFileSync(dtsFile, result.dts, 'utf-8');
+        if (!options.quiet) {
+          console.log(`Generated ${dtsFile}`);
+        }
+      } else {
+        // stdin — print .d.ts to stdout
+        if (!options.quiet) {
+          console.log(`// == Type declarations == //\n`);
+        }
+        console.log(result.dts);
+      }
+    }
   } catch (error) {
     console.error('Compilation Error:', error.message);
     if (error.stack) {

package/docs/RIP-INTERNALS.md

@@ -90,18 +90,22 @@ console.log(code);
 ## The Pipeline
 
 ```
-Source Code  →  Lexer  →  Parser  →  S-Expressions  →  Codegen  →  JavaScript
-                (1,542)    (352)       (simple arrays)     (3,148)      (ES2022)
+Source Code  →  Lexer  →  emitTypes  →  Parser  →  S-Expressions  →  Codegen  →  JavaScript
+                (1,866)    (types.js)    (356)       (simple arrays)     (3,219)      (ES2022)
+                              ↓
+                           file.d.ts (when types: "emit")
 ```
 
 ## Key Files
 
 | File | Purpose | Lines | Modify? |
 |------|---------|-------|---------|
-| `src/lexer.js` | Lexer + Rewriter | 1,542 | Yes |
-| `src/compiler.js` | Compiler + Code Generator | 3,148 | Yes |
-| `src/parser.js` | Generated parser | 352 | No (auto-gen) |
-| `src/grammar/grammar.rip` | Grammar specification | 887 | Yes (carefully) |
+| `src/lexer.js` | Lexer + Rewriter | 1,866 | Yes |
+| `src/compiler.js` | Compiler + Code Generator | 3,219 | Yes |
+| `src/types.js` | Type System (lexer sidecar) | 718 | Yes |
+| `src/components.js` | Component System (compiler sidecar) | ~1,240 | Yes |
+| `src/parser.js` | Generated parser | 356 | No (auto-gen) |
+| `src/grammar/grammar.rip` | Grammar specification | 934 | Yes (carefully) |
 | `src/grammar/solar.rip` | Parser generator | 1,001 | No |
 
 ## Example Flow
@@ -240,6 +244,12 @@ S-expressions are simple arrays that serve as Rip's intermediate representation
 ['class', name, parent?, ...members]
 ```
 
+### Types
+```javascript
+['enum', name, body]              // Enum declaration (runtime JS)
+// Type aliases, interfaces → handled by rewriter, never reach parser
+```
+
 ### Ranges & Slicing
 ```javascript
 ['..', from, to]      // Inclusive range
@@ -558,7 +568,6 @@ bun src/compare-compilers.js
 
 # 9. Future Work
 
-- `::` token for type annotations (see `docs/RIP-TYPES.md`)
 - Comment preservation for source maps
 - Parser update to read `.data` directly instead of `new String()` properties
 - Once parser supports `.data`, the `meta()`/`str()` helpers become trivial to update
@@ -567,8 +576,9 @@ bun src/compare-compilers.js
 
 **See Also:**
 - [RIP-LANG.md](RIP-LANG.md) — Language reference
+- [RIP-TYPES.md](RIP-TYPES.md) — Type system specification
 - [RIP-REACTIVITY.md](RIP-REACTIVITY.md) — Reactivity deep dive
 
 ---
 
-*Rip 3.0 — 1,073 tests passing — Zero dependencies — Self-hosting — ~7,700 LOC*
+*Rip 3.0 — 1,130 tests passing — Zero dependencies — Self-hosting — ~8,800 LOC*

package/docs/RIP-LANG.md

@@ -17,9 +17,10 @@ Rip is a modern reactive language that compiles to ES2022 JavaScript. It combine
 9. [Regex Features](#9-regex-features)
 10. [Server-Side Development](#10-server-side-development)
 11. [CLI Tools & Scripts](#11-cli-tools--scripts)
-12. [JavaScript Interop](#12-javascript-interop)
-13. [Common Patterns](#13-common-patterns)
-14. [Quick Reference](#14-quick-reference)
+12. [Types](#12-types)
+13. [JavaScript Interop](#13-javascript-interop)
+14. [Common Patterns](#14-common-patterns)
+15. [Quick Reference](#15-quick-reference)
 
 ---
 
@@ -924,7 +925,41 @@ for filename in files
 
 ---
 
-# 12. JavaScript Interop
+# 12. Types
+
+Rip supports an optional, compile-time-only type system. Types are erased from
+`.js` output and preserved in `.d.ts` declaration files.
+
+```coffee
+# Type annotations (::)
+count:: number = 0
+def greet(name:: string):: string
+  "Hello, #{name}!"
+
+# Type aliases (::=)
+ID ::= number
+User ::= type
+  id: number
+  name: string
+
+# Interfaces
+interface Animal
+  name: string
+
+# Enums (emit runtime JS)
+enum HttpCode
+  ok = 200
+  notFound = 404
+```
+
+Types use `=>` for function type arrows and `->` for code arrows. This
+disambiguates type expressions from function bodies cleanly.
+
+For the complete type system specification, see [RIP-TYPES.md](RIP-TYPES.md).
+
+---
+
+# 13. JavaScript Interop
 
 ```coffee
 # Import any npm package
@@ -954,7 +989,7 @@ const { code } = compile('x = 42');
 
 ---
 
-# 13. Common Patterns
+# 14. Common Patterns
 
 ## Error Handling
 
@@ -1036,7 +1071,7 @@ class EventEmitter
 
 ---
 
-# 14. Quick Reference
+# 15. Quick Reference
 
 ## Syntax Cheat Sheet
 

package/docs/RIP-REACTIVITY.md

@@ -286,3 +286,24 @@ Rip's reactivity system:
 ✅ **Extra utilities** — `.lock()`, `.read()`, `.kill()` that others lack <br>
 
 **On par with Vue/Solid. Better than React. A fraction of the size.**
+
+---
+
+## Types and Reactivity
+
+Reactive operators work with Rip's optional type system:
+
+```coffee
+count:: number := 0               # Typed state
+doubled:: number ~= count * 2     # Typed computed
+```
+
+Type annotations are erased from `.js` output. In `.d.ts` output, reactive
+state emits `Signal<T>` and computed values emit `Computed<T>`:
+
+```ts
+declare const count: Signal<number>;
+declare const doubled: Computed<number>;
+```
+
+See [RIP-TYPES.md](RIP-TYPES.md) for the complete type system specification.