ClearScript (L5)

The Problem with JavaScript

JavaScript's flexibility is a bug, not a feature. Type coercion, hoisting, dynamic `this`, implicit globals—these "quirks" cause bugs that slip into production.

Web3 makes this worse. Solidity has the same problems, plus it deals with money. We need a language that is both familiar AND safe.

Design Principles

• No type coercion — strict equality only
• No `var` — use `let` (immutable) or `mut` (mutable)
• No hoisting — declare before use
• One nil — single absence value (no undefined)
• Traits, not prototypes — explicit behavior
• Lexical `self`, not dynamic `this` — no binding surprises
• Compiler errors include fixes — "did you mean?" built-in

Example: Agent Definition

import { agent } from "web7/prime"

trait Greeter {
  fn hello(self) -> str
}

let bot = agent {
  name: "billing",
  skills: [invoicing, reconcile],
}

fn bot.hello(self) -> str {
  return "hi from " + self.name
}

Web7 Primitives (First-Class)

import { prime, amp, vigil } from "web7"

// Delegate work to a skill
let result = await prime.delegate({
  to: "skill:tax-filing",
  intent: { file: quarterly, deadline: 2026-04-30 },
  budget: 50.USD,
})

// Settle via AMP
await amp.settle(result)

// Audit trail logged by vigil
vigil.log("tax delegation completed")

prime: agent routing. amp: settlement. vigil: audit. Not afterthoughts—first-class keywords.

Compile Targets

• Native (via KYRx MIR) — compiled to CPU instructions
• WASM — browser + edge runtime
• JavaScript — interop fallback for Node

Tooling

• clear run file.clear
• clear repl
• clear check
• clear fmt
• LSP with inline diagnostics + autofix

Status

Implementation: Rust, in `/Users/kr/Developer/clearscript/`

Public launch: 2026-06-25