arc-lang 0.6.2 → 0.6.3

package/dist/parser.js

@@ -52,7 +52,18 @@ export class Parser {
             case TokenType.Fn: return this.parseFn(false);
             case TokenType.Async: return this.parseAsync();
             case TokenType.For: return this.parseFor();
+            case TokenType.While: return this.parseWhile();
             case TokenType.Do: return this.parseDo();
+            case TokenType.Break: {
+                const loc = this.loc();
+                this.advance();
+                return { kind: "BreakStmt", loc };
+            }
+            case TokenType.Continue: {
+                const loc = this.loc();
+                this.advance();
+                return { kind: "ContinueStmt", loc };
+            }
             case TokenType.Use: return this.parseUse();
             case TokenType.Type: return this.parseType();
             case TokenType.Ret: return this.parseRet();
@@ -241,6 +252,22 @@ export class Parser {
         const body = this.parseBlock();
         return { kind: "ForStmt", variable, iterable, body, loc };
     }
+    parseWhile() {
+        const loc = this.loc();
+        this.expect(TokenType.While);
+        const condition = this.parseExpr(0);
+        const body = this.parseBlock();
+        return { kind: "WhileStmt", condition, body, loc };
+    }
+    parseTryCatch() {
+        const loc = this.loc();
+        this.expect(TokenType.Try);
+        const body = this.parseBlock();
+        this.expect(TokenType.Catch);
+        const catchVar = this.expect(TokenType.Ident).value;
+        const catchBody = this.parseBlock();
+        return { kind: "TryCatchStmt", body, catchVar, catchBody, loc };
+    }
     parseDo() {
         const loc = this.loc();
         this.expect(TokenType.Do);
@@ -473,14 +500,30 @@ export class Parser {
             // Postfix: member access
             if (t.type === TokenType.Dot) {
                 this.advance();
-                const prop = this.expect(TokenType.Ident).value;
+                // Allow keywords (like 'match') as property names after dot
+                const propToken = this.peek();
+                let prop;
+                if (propToken.type === TokenType.Ident || propToken.type === TokenType.Match || propToken.type === TokenType.Fn || propToken.type === TokenType.Let || propToken.type === TokenType.If || propToken.type === TokenType.For || propToken.type === TokenType.In || propToken.type === TokenType.Do || propToken.type === TokenType.While || propToken.type === TokenType.Until || propToken.type === TokenType.Use || propToken.type === TokenType.Pub || propToken.type === TokenType.Type || propToken.type === TokenType.Ret || propToken.type === TokenType.Where || propToken.type === TokenType.Matching || propToken.type === TokenType.Fetch || propToken.type === TokenType.Async || propToken.type === TokenType.Await || propToken.type === TokenType.Try || propToken.type === TokenType.Catch) {
+                    prop = this.advance().value;
+                }
+                else {
+                    prop = this.expect(TokenType.Ident).value;
+                }
                 left = { kind: "MemberExpr", object: left, property: prop, loc: left.loc };
                 continue;
             }
             // Postfix: optional chaining ?.
             if (t.type === TokenType.QuestionDot) {
                 this.advance();
-                const prop = this.expect(TokenType.Ident).value;
+                // Allow keywords as property names after ?.
+                const propToken = this.peek();
+                let prop;
+                if (propToken.type === TokenType.Ident || propToken.type === TokenType.Match || propToken.type === TokenType.Fn || propToken.type === TokenType.Let || propToken.type === TokenType.If || propToken.type === TokenType.For || propToken.type === TokenType.In || propToken.type === TokenType.Do || propToken.type === TokenType.While || propToken.type === TokenType.Until || propToken.type === TokenType.Use || propToken.type === TokenType.Pub || propToken.type === TokenType.Type || propToken.type === TokenType.Ret || propToken.type === TokenType.Where || propToken.type === TokenType.Matching || propToken.type === TokenType.Fetch || propToken.type === TokenType.Async || propToken.type === TokenType.Await || propToken.type === TokenType.Try || propToken.type === TokenType.Catch) {
+                    prop = this.advance().value;
+                }
+                else {
+                    prop = this.expect(TokenType.Ident).value;
+                }
                 left = { kind: "OptionalMemberExpr", object: left, property: prop, loc: left.loc };
                 continue;
             }
@@ -660,24 +703,42 @@ export class Parser {
             const body = this.parseBlock();
             return { kind: "AsyncExpr", body, loc };
         }
+        // Try/catch expression: try { body } catch e { handler }
+        if (t.type === TokenType.Try) {
+            this.advance();
+            const body = this.parseBlock();
+            if (this.at(TokenType.Catch)) {
+                this.expect(TokenType.Catch);
+                const catchVar = this.expect(TokenType.Ident).value;
+                const catchBody = this.parseBlock();
+                return { kind: "TryCatchExpr", body, catchVar, catchBody, loc };
+            }
+            // Plain try expression (wraps in Result)
+            return { kind: "TryExpr", expr: body, loc };
+        }
         // Await expression: await expr
         if (t.type === TokenType.Await) {
             this.advance();
             const expr = this.parseExpr(8); // high precedence
             return { kind: "AwaitExpr", expr, loc };
         }
-        // Fetch expression: fetch [expr1, expr2, ...]
+        // Fetch expression: fetch @GET "url" or fetch [expr1, expr2, ...]
         if (t.type === TokenType.Fetch) {
             this.advance();
-            this.expect(TokenType.LBracket);
-            const targets = [];
-            while (!this.at(TokenType.RBracket)) {
-                targets.push(this.parseExpr());
-                if (this.at(TokenType.Comma))
-                    this.advance();
+            if (this.at(TokenType.LBracket)) {
+                this.advance();
+                const targets = [];
+                while (!this.at(TokenType.RBracket)) {
+                    targets.push(this.parseExpr());
+                    if (this.at(TokenType.Comma))
+                        this.advance();
+                }
+                this.expect(TokenType.RBracket);
+                return { kind: "FetchExpr", targets, loc };
             }
-            this.expect(TokenType.RBracket);
-            return { kind: "FetchExpr", targets, loc };
+            // Single target: fetch @GET "url"
+            const target = this.parseExpr();
+            return { kind: "FetchExpr", targets: [target], loc };
         }
         // Tool call: @GET "url" or @ident(args)
         if (t.type === TokenType.At) {

package/dist/repl.js

@@ -16,6 +16,8 @@ const useHandler = createUseHandler(process.cwd() + "/repl.arc");
 function printHelp() {
     console.log(`${CYAN}Arc REPL Commands:${RESET}`);
     console.log(`  ${YELLOW}:help${RESET}          Show this help message`);
+    console.log(`  ${YELLOW}:builtins${RESET}      List all built-in functions`);
+    console.log(`  ${YELLOW}:modules${RESET}       List available stdlib modules`);
     console.log(`  ${YELLOW}:ast${RESET}           Toggle AST display before execution`);
     console.log(`  ${YELLOW}:reset${RESET}         Clear all variables and state`);
     console.log(`  ${YELLOW}:load <file>${RESET}   Load and execute an Arc file`);
@@ -23,6 +25,56 @@ function printHelp() {
     console.log(`  ${YELLOW}Ctrl+C${RESET}         Exit the REPL`);
     console.log();
     console.log(`  Multi-line: end a line with { to start a block`);
+    console.log(`  Comments: # or // (both work)`);
+    console.log(`  Docs: https://arclang.dev | See CHEATSHEET.md`);
+}
+function printBuiltins() {
+    console.log(`${CYAN}Built-in Functions:${RESET}`);
+    console.log();
+    console.log(`${YELLOW}I/O:${RESET}            print(...values)`);
+    console.log(`${YELLOW}Type Convert:${RESET}   int(v)  float(v)  str(v)  bool(v)  type_of(v)`);
+    console.log(`${YELLOW}Strings:${RESET}        len  trim  upper  lower  split  join  replace`);
+    console.log(`                contains  starts  ends  repeat  chars  slice`);
+    console.log(`                index_of  ord  chr  char_at`);
+    console.log(`${YELLOW}Lists:${RESET}          map  filter  reduce  fold  find  any  all  sort`);
+    console.log(`                head  tail  last  reverse  take  drop  flat`);
+    console.log(`                zip  enumerate  push  concat  sum  range`);
+    console.log(`${YELLOW}Maps:${RESET}           keys  values  entries  len`);
+    console.log(`${YELLOW}Math:${RESET}           abs  min  max  round`);
+    console.log(`${YELLOW}Other:${RESET}          assert  time_ms  to_string`);
+    console.log();
+    console.log(`${CYAN}Operators:${RESET}  +  -  *  /  %  **  ++  ==  !=  <  >  <=  >=  and  or  not  |>  ..  ?.`);
+    console.log(`${CYAN}Syntax:${RESET}     "string {expr}"  *  (string repeat)  # // (comments)  try/catch`);
+}
+function printModules() {
+    console.log(`${CYAN}Standard Library Modules:${RESET}  (import with: use <module>)`);
+    console.log();
+    console.log(`  ${YELLOW}math${RESET}          sqrt, pow, ceil, floor, clamp, PI, E, sin, cos, log`);
+    console.log(`  ${YELLOW}strings${RESET}       pad_left, pad_right, capitalize, words`);
+    console.log(`  ${YELLOW}collections${RESET}   group_by, chunk, flatten, zip_with, partition, sort_by, unique`);
+    console.log(`  ${YELLOW}map${RESET}           merge, map_values, filter_map, from_pairs, pick, omit`);
+    console.log(`  ${YELLOW}io${RESET}            read_file, write_file, read_lines, exists, append`);
+    console.log(`  ${YELLOW}http${RESET}          get, post, put, delete — real HTTP requests`);
+    console.log(`  ${YELLOW}json${RESET}          to_json, from_json, pretty, get_path`);
+    console.log(`  ${YELLOW}csv${RESET}           parse_csv, to_csv, parse_csv_headers`);
+    console.log(`  ${YELLOW}regex${RESET}         match, find, test, replace, split, capture`);
+    console.log(`  ${YELLOW}datetime${RESET}      now, today, parse, format, add_days, diff_days`);
+    console.log(`  ${YELLOW}os${RESET}            cwd, list_dir, mkdir, exec, platform, env`);
+    console.log(`  ${YELLOW}env${RESET}           get, set, has, all — environment variables`);
+    console.log(`  ${YELLOW}crypto${RESET}        sha256, sha512, hmac_sha256, uuid, random_bytes`);
+    console.log(`  ${YELLOW}error${RESET}         try_catch, try_finally, throw, retry, assert`);
+    console.log(`  ${YELLOW}result${RESET}        ok, err, is_ok, unwrap, map_result, try_fn`);
+    console.log(`  ${YELLOW}net${RESET}           ws_connect, tcp_connect, dns_lookup, base64_encode`);
+    console.log(`  ${YELLOW}yaml${RESET}          parse, stringify`);
+    console.log(`  ${YELLOW}toml${RESET}          parse, stringify`);
+    console.log(`  ${YELLOW}html${RESET}          parse, create_element, to_html`);
+    console.log(`  ${YELLOW}path${RESET}          join, dirname, basename, extname`);
+    console.log(`  ${YELLOW}log${RESET}           info, warn, error, debug`);
+    console.log(`  ${YELLOW}store${RESET}         get, set, delete — persistent key-value storage`);
+    console.log(`  ${YELLOW}test${RESET}          describe, it, expect_eq, run_tests`);
+    console.log(`  ${YELLOW}prompt${RESET}        template, count_tokens, window`);
+    console.log(`  ${YELLOW}embed${RESET}         similarity, cosine, search`);
+    console.log(`  ${YELLOW}llm${RESET}           chat, complete — multi-provider LLM API`);
 }
 function execute(source) {
     try {
@@ -46,7 +98,7 @@ function main() {
         output: process.stdout,
         prompt: "arc> ",
     });
-    console.log(`${CYAN}Arc REPL v0.1.0${RESET} — Type ${YELLOW}:help${RESET} for commands`);
+    console.log(`${CYAN}Arc REPL v0.6.3${RESET} — Type ${YELLOW}:help${RESET} for commands, ${YELLOW}:builtins${RESET} for functions`);
     rl.prompt();
     let buffer = "";
     let braceDepth = 0;
@@ -63,6 +115,16 @@ function main() {
                 rl.prompt();
                 return;
             }
+            if (trimmed === ":builtins" || trimmed === ":b") {
+                printBuiltins();
+                rl.prompt();
+                return;
+            }
+            if (trimmed === ":modules" || trimmed === ":m") {
+                printModules();
+                rl.prompt();
+                return;
+            }
             if (trimmed === ":ast") {
                 showAst = !showAst;
                 console.log(`AST display: ${showAst ? "ON" : "OFF"}`);

package/dist/version.d.ts

@@ -1,4 +1,4 @@
-export declare const ARC_VERSION = "0.6.2";
+export declare const ARC_VERSION = "0.6.3";
 export declare const ARC_BUILD_DATE: string;
 export declare const ARC_PLATFORM: string;
 /** Print version info */

package/dist/version.js

@@ -1,5 +1,5 @@
 // Arc Version System
-export const ARC_VERSION = "0.6.2";
+export const ARC_VERSION = "0.6.3";
 export const ARC_BUILD_DATE = new Date().toISOString().split("T")[0];
 export const ARC_PLATFORM = `${process.platform}-${process.arch}`;
 /** Print version info */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "arc-lang",
-  "version": "0.6.2",
+  "version": "0.6.3",
   "description": "Arc ⚡ — A programming language designed by AI agents, for AI agents. 27-63% fewer tokens than JavaScript.",
   "type": "module",
   "bin": {
@@ -9,12 +9,14 @@
   "main": "./dist/index.js",
   "files": [
     "dist/",
+    "stdlib/",
     "README.md",
     "LICENSE"
   ],
   "scripts": {
     "build": "tsc",
-    "prepublishOnly": "tsc",
+    "copy-stdlib": "node -e \"const fs=require('fs');const p=require('path');function cp(s,d){fs.mkdirSync(d,{recursive:true});for(const f of fs.readdirSync(s)){const sp=p.join(s,f),dp=p.join(d,f);fs.statSync(sp).isDirectory()?cp(sp,dp):fs.copyFileSync(sp,dp)}}cp(p.join(__dirname,'..','stdlib'),p.join(__dirname,'stdlib'))\"",
+    "prepublishOnly": "npm run copy-stdlib && tsc",
     "run": "tsx src/index.ts run",
     "parse": "tsx src/index.ts parse"
   },

package/stdlib/API_DESIGN.md

@@ -0,0 +1,357 @@
+# Arc Standard Library API Design
+
+## Design Principles
+
+1. **Token-minimal APIs** — Short function names, no unnecessary prefixes
+2. **Convention over configuration** — Sensible defaults, override when needed
+3. **Composable** — All functions work with `|>` pipeline
+4. **Consistent** — Same patterns across all modules
+5. **Zero-import common ops** — `print`, `len`, `map`, `filter` are always available (prelude)
+
+---
+
+## Prelude (Always Available)
+
+These functions require no `use` statement:
+
+```arc
+# I/O
+print(value)                    # Print to stdout
+read(path) -> String            # Read file contents
+write(path, data)               # Write to file
+
+# Collections
+len(collection) -> Int
+map(collection, fn) -> [T]
+filter(collection, fn) -> [T]
+reduce(collection, init, fn) -> T
+sort(collection, [key_fn]) -> [T]
+take(collection, n) -> [T]
+drop(collection, n) -> [T]
+find(collection, fn) -> Option<T>
+any(collection, fn) -> Bool
+all(collection, fn) -> Bool
+sum(collection) -> Number
+flat(collection) -> [T]
+zip(a, b) -> [(A, B)]
+enumerate(collection) -> [(Int, T)]
+
+# Strings
+trim(s) -> String
+split(s, delim) -> [String]
+join(collection, delim) -> String
+upper(s) -> String
+lower(s) -> String
+replace(s, from, to) -> String
+contains(s, substr) -> Bool
+starts(s, prefix) -> Bool
+ends(s, suffix) -> Bool
+
+# Type conversion
+int(value) -> Int
+float(value) -> Float
+str(value) -> String
+bool(value) -> Bool
+
+# Math
+min(a, b) -> Number
+max(a, b) -> Number
+abs(x) -> Number
+round(x, [decimals]) -> Number
+```
+
+**Rationale:** These ~40 functions cover ~80% of typical agent operations. No imports needed = fewer tokens per program. Names are short (3-5 chars) and unambiguous.
+
+---
+
+## Module: `std/collections`
+
+```arc
+use std/collections: Set, Stack, Queue, deque
+
+# Sets
+let s = Set([1, 2, 3])
+s |> add(4)                     # {1, 2, 3, 4}
+s |> has(2)                     # true
+s |> union(Set([3, 4, 5]))      # {1, 2, 3, 4, 5}
+s |> intersect(Set([2, 3]))     # {2, 3}
+s |> diff(Set([2]))             # {1, 3}
+
+# Stack (LIFO)
+let st = Stack()
+st |> push(1) |> push(2)
+st |> pop                       # (2, Stack([1]))
+
+# Queue (FIFO)
+let q = Queue()
+q |> enq(1) |> enq(2)
+q |> deq                        # (1, Queue([2]))
+
+# Sorted map
+use std/collections: SortedMap
+let sm = SortedMap({a: 1, c: 3, b: 2})
+sm |> keys                      # ["a", "b", "c"]
+```
+
+---
+
+## Module: `std/math`
+
+```arc
+use std/math: pi, e, sin, cos, tan, log, sqrt, pow, floor, ceil, clamp, rand
+
+sqrt(16)                        # 4.0
+clamp(15, 0, 10)               # 10
+rand()                          # 0.0..1.0
+rand(1, 100)                   # random int 1-100
+sin(pi / 2)                    # 1.0
+log(e)                         # 1.0
+```
+
+---
+
+## Module: `std/http`
+
+```arc
+use std/http: serve, request
+
+# Server
+serve 3000 {
+  GET "/" => fn(req) => "Hello!"
+  
+  GET "/users/:id" => fn(req) {
+    @db("SELECT * FROM users WHERE id = {req.params.id}")
+  }
+  
+  POST "/users" => fn(req) {
+    @db("INSERT INTO users VALUES ({req.body.name}, {req.body.email})")
+  }
+  
+  # Middleware
+  before => fn(req) {
+    log("{req.method} {req.path}")
+    req
+  }
+}
+
+# Client (usually via @GET/@POST, but configurable requests available)
+let resp = request({
+  url: "https://api.example.com/data",
+  method: "GET",
+  headers: {Authorization: "Bearer {token}"},
+  timeout: 5000
+})
+```
+
+**Comparison — Express.js equivalent:**
+
+```javascript
+// JavaScript: ~50 tokens for basic server setup
+const express = require('express');
+const app = express();
+app.use(express.json());
+app.get('/', (req, res) => res.send('Hello!'));
+app.get('/users/:id', async (req, res) => { ... });
+app.post('/users', async (req, res) => { ... });
+app.listen(3000);
+```
+
+```arc
+# Arc: ~20 tokens for same functionality
+serve 3000 {
+  GET "/" => fn(req) => "Hello!"
+  GET "/users/:id" => fn(req) { ... }
+  POST "/users" => fn(req) { ... }
+}
+```
+
+---
+
+## Module: `std/json`
+
+```arc
+use std/json: parse, stringify
+
+let data = parse('{"name": "Arc", "version": 1}')
+data.name                       # "Arc"
+
+let text = stringify(data)      # '{"name":"Arc","version":1}'
+let pretty = stringify(data, indent: 2)
+
+# Usually unnecessary — @ tool calls auto-parse JSON
+let user = @GET "api/users/1"   # Already parsed
+```
+
+---
+
+## Module: `std/io`
+
+```arc
+use std/io: readLines, appendFile, exists, mkdir, ls, rm, glob
+
+# File operations (read/write are in prelude)
+let lines = readLines("data.txt")        # [String]
+appendFile("log.txt", "entry\n")
+let found = exists("config.json")        # Bool
+
+# Directory operations
+mkdir("output")
+let files = ls("src")                    # [String]
+let arcs = glob("**/*.arc")             # [String]
+
+# Stdin
+use std/io: input
+let name = input("What's your name? ")
+```
+
+---
+
+## Module: `std/async`
+
+```arc
+use std/async: spawn, sleep, timeout, channel, select
+
+# Spawn concurrent task
+let task = spawn { heavyWork() }
+let result = await task
+
+# Sleep
+sleep(1000)                     # ms
+
+# Timeout
+let data = timeout(5000) {
+  @GET "slow-api/data"
+} ? defaultData
+
+# Channels (CSP-style)
+let (tx, rx) = channel()
+spawn { tx.send("hello") }
+let msg = rx.recv()             # "hello"
+
+# Select (wait for first)
+match select [rx1, rx2, timeout(1000)] {
+  (0, msg) => handle1(msg)
+  (1, msg) => handle2(msg)
+  (2, _) => handleTimeout()
+}
+```
+
+**Rationale:** CSP-style channels (Go-inspired) are simpler than shared-memory concurrency. `select` provides multiplexing. `timeout` wraps any async operation with a deadline.
+
+---
+
+## Module: `std/csv`
+
+```arc
+use std/csv: parseCSV, toCSV
+
+let data = read "data.csv" |> parseCSV   # [{name: "...", age: "..."}]
+let text = data |> toCSV                  # Back to CSV string
+```
+
+---
+
+## Module: `std/time`
+
+```arc
+use std/time: now, format, parse, duration
+
+let t = now()                             # Timestamp
+let s = format(t, "YYYY-MM-DD")          # "2026-02-16"
+let d = duration(hours: 2, minutes: 30)
+let later = t + d
+```
+
+---
+
+## Module: `std/regex`
+
+```arc
+use std/regex: regex, matchAll, replaceAll
+
+let pat = regex("[0-9]+")
+let found = "abc 123 def 456" |> matchAll(pat)   # ["123", "456"]
+let cleaned = "abc 123" |> replaceAll(pat, "#")   # "abc #"
+```
+
+---
+
+## Module: `std/crypto`
+
+```arc
+use std/crypto: hash, hmac, encrypt, decrypt, uuid
+
+let h = hash("sha256", "hello")
+let id = uuid()                           # "550e8400-e29b-..."
+```
+
+---
+
+## Module: `std/test`
+
+```arc
+use std/test: test, assert, assertEq, assertErr
+
+test "addition" {
+  assertEq(add(2, 3), 5)
+}
+
+test "division by zero" {
+  assertErr(divide(1, 0))
+}
+
+test "user validation" {
+  let user = User({name: "Arc", email: "arc@test.com", age: 1})
+  assert(user.age > 0)
+}
+```
+
+---
+
+## API Design Patterns
+
+### 1. Functions over methods
+```arc
+# Arc prefers free functions (work with |>)
+len(items)          # not items.length
+sort(items)         # not items.sort()
+filter(items, fn)   # not items.filter(fn)
+```
+
+**Rationale:** Free functions compose with `|>`. No method resolution overhead. Agents don't need to remember which type has which method.
+
+### 2. Options as last parameter
+```arc
+fn request(url, method = "GET", headers = {}, timeout = 30000)
+```
+
+### 3. Result types for fallible operations
+```arc
+fn readFile(path) -> Result<String>   # not throw
+fn parse(text) -> Result<Value>       # not throw
+```
+
+### 4. Overloading by arity
+```arc
+rand()              # 0.0..1.0
+rand(max)           # 0..max
+rand(min, max)      # min..max
+```
+
+---
+
+## Token Efficiency Summary
+
+| Operation | JS stdlib | Python stdlib | Arc stdlib | vs JS | vs Python |
+|-----------|-----------|---------------|------------|-------|-----------|
+| Read file | `fs.readFileSync(p,'utf8')` | `open(p).read()` | `read p` | -70% | -50% |
+| Parse JSON | `JSON.parse(text)` | `json.loads(text)` | `parse(text)` | -30% | -25% |
+| HTTP GET | `await fetch(url).then(r=>r.json())` | `requests.get(url).json()` | `@GET url` | -75% | -60% |
+| Sort by key | `arr.sort((a,b)=>a.k-b.k)` | `sorted(arr,key=lambda x:x.k)` | `sort(arr,x=>x.k)` | -40% | -30% |
+| Filter | `arr.filter(x=>x.active)` | `[x for x in arr if x.active]` | `filter(arr,x=>x.active)` | -10% | -20% |
+| **Average** | | | | **-45%** | **-37%** |
+
+---
+
+**Last Updated:** 2026-02-16
+**Status:** Draft v0.1