T++ (Antigravity 2.0 Edition)

Human-first natural language programming, engineered for deterministic, production-grade software.

T++ is a modern, natural-language programming language and development platform. It allows developers to write expressive, prose-like code with deterministic execution, static and gradual typing, rich visual diagnostics, an expanded standard library, and complete developer tooling.

Current Release: 3.2.0

pip install tpp-language

Key Highlights

• Natural Surface Syntax & Synonyms: Write in readable English phrases (give back, is between 1 and 10, the items in tasks where item's is_done, a record with name as "Ana").
• Gradual Type System: Optional type annotations on variables (let count be 0 as a whole number) and functions (define add with a as a number, giving back a number as:).
• Rich Visual Diagnostics: Beautiful terminal compiler errors with line/column markers, carets, source previews, suggestions, and call stack frame tracking.
• Sandboxed Standard Library: 7 built-in modules (math, text, collections, system, time, json, validate) with path traversal protection.
• Language Server Protocol (LSP): Integrated LSP server (tpp lsp) providing live diagnostics, hover docs, autocomplete, definition jump, and formatting for VS Code / IDEs.
• Full Developer CLI: Unified subcommands: run, check, fmt, doc, repl, test, bench, lsp, api, doctor, plugin.
• Public Python Embedding API: Seamless Python interop with tpp.run_source(), tpp.run_file(), and tpp.eval_expr().

Quick Start

1. Installation

pip install tpp-language

Verify your environment:

tpp --version
tpp doctor

2. Hello World

Create hello.tpp:

let name be "Developer"
say "Hello, {name}! Welcome to T++."

Run it:

tpp run hello.tpp

Language Features at a Glance

Pattern Matching (match)

match status_code:
    when 200:
        say "Success"
    when 404:
        say "Not Found"
    when x if x is at least 500:
        say "Server Error: {x}"
    otherwise:
        say "Unhandled status"

Comprehensions & Collections

let numbers be 1 to 10
let evens be a list containing x times 2 for each x in numbers if x % 2 == 0
let filtered be the items in numbers where item is greater than 5

let person be a record with name as "Alice" and role as "Admin"
say "{person's name} has role {person's role}"

Error Handling (try / handle / finally)

try:
    if divisor is equal to 0:
        raise the error "Cannot divide by zero"
    let result be total / divisor
handle any error as err:
    say "Caught error: " then err
finally:
    say "Execution completed."

Modules & Imports

# In math_utils.tpp
export define square with n as:
    give back n times n

# In main.tpp
use square from "./math_utils.tpp"
let val be call square with 6

CLI Reference

Interactive REPL

Launch the REPL with tpp repl:

T++ Interactive Shell v3.2.0
Type ':help' or ':?' for commands, ':quit' or 'exit' to exit.

>> let x be 10 plus 20
>> :type x
x : int = 30
>> :doc math
Native Stdlib Module 'math'
Members: abs, absolute_value, add, average, ceil, cos, cosine, divide...
>> :env
--- Scope (1 bindings) ---
  x (int) = 30
>> :quit

Python Embedding API

Embed T++ directly in Python applications:

import tpp

# Execute source code
engine = tpp.run_source(
    "let result be a times b\n",
    initial_scope={"a": 6, "b": 7}
)
print(engine.global_scope.get("result", 1)) # 42

# Evaluate single expressions
value = tpp.eval_expr("10 plus 25") # 35

Standard Library Reference

Documentation

• Language Specification
• Standard Library Guide
• Migration Guide (3.1.x to 3.2.0)
• Architecture Decision Records (ADRs)

License

T++ is licensed under the MIT License.