Show HN: Tiny – 一种支持内嵌 Go 原生函数的解释型动态语言
Show HN: Tiny – An interpeted dynamic langauge with inline Go native functions

原始链接: https://github.com/confh/Tiny

Tiny 是一门高性能的并发编程语言及运行时系统,专为速度与灵活性而构建。它采用基于栈的字节码、高效的解释器以及即时(JIT)编译器,以实现原生级别的执行速度。 **关键技术特性:** * **性能:** 具备操作系统级多线程、JIT 加速的热点循环,以及用于优化数据访问的宿主内存镜像功能。 * **灵活类型:** 默认提供动态类型,并支持可选的静态提示、联合类型及泛型。 * **现代设计:** 采用结构化(基于形状)类型系统、通过嵌入实现的类组合,以及强大的模式匹配。 * **并发:** 利用 `spawn` 在多个 CPU 核心上执行并发任务,并为共享状态提供安全、自动化的 `lock` 机制。 * **可扩展性:** 集成原生 WebAssembly 扩展,并支持内嵌 Go 代码。 * **开发体验:** 内置语言服务器 (LSP)、模式验证、UI 容器,以及用于 Web 服务和自动化的丰富标准库。 Tiny 代码既可以作为脚本运行,也可以打包成轻量级的独立可执行文件。凭借快速原型开发与系统级性能的结合,Tiny 专为高效、现代的应用程序开发而设计。相关文档及二进制文件请访问 [tiny-lang-docs.github.io](https://tiny-lang-docs.github.io)。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN: Tiny —— 一种支持内联 Go 原生函数的解释型动态语言 (github.com/confh) 9 点,由 confis 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 d3Xt3r 8 分钟前 [–] 这个项目的应用场景是什么?在什么情况下、为什么要使用 Tiny 而不是直接用 Go(或其他语言,比如 Python)? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
相关文章

原文

Tiny is a concurrent programming language and runtime system. It compiles source files into compact, stack-based bytecode instructions (.tbc) which run on a highly optimized virtual machine using slot-based local storage.

The runtime engine features a multi-tiered execution model: an efficient interpreter for general logic and a Just-In-Time (JIT) compiler for performance-critical code. Key features include direct OS-level parallel threading, host-mirrored packed arrays, a chainable schema validation library, native WebAssembly extensions, and a built-in Language Server (LSP).

Read the full documentation at tiny-lang-docs.github.io, or check out the examples to see Tiny in action.


Precompiled binaries are available on the release page:

  • Windows: tiny_windows_amd64.exe
  • Linux: tiny_linux_amd64
  • macOS (Apple Silicon): tiny_darwin_arm64

To install:

  1. Download the binary for your operating system.
  2. Rename the file to tiny (or tiny.exe on Windows).
  3. Move the binary into a directory in your system path (for example, ~/.tiny/bin on Unix or %USERPROFILE%\.tiny on Windows).
  4. Add that directory to your system PATH environment variable.

For compilation from source instructions, see the online documentation.


Tiny Showcase


Dynamic Typing with Optional Hints

Tiny is dynamically typed by default. You can write untyped code for rapid prototyping, or apply optional static type hints to variables, parameters, and function returns. The type system supports unions and generics.

import std "io";

// Untyped variable
let data = "untyped string";

// Explicitly typed variable
const port: number = 8080;

// Typed function parameters and return type
fn calculatePayout(base: number, multiplier: number): number {
    return base * multiplier;
}

io.println(calculatePayout(100, 1.5));

Structural Interfaces and Shape Validation

Tiny uses structural typing (shape-based validation). Objects are validated against interfaces at runtime based on their properties and methods. The JIT engine optimizes these checks by tracking object shapes and utilizing linear memory field offsets.

import std "io";

interface Task {
    title: string
    done: bool
}

fn printTask(t: Task) {
    let status = t.done ? "Completed" : "Pending";
    io.println(`${t.title} - Status: ${status}`);
}

// Valid structural matches
printTask({ title: "Write Compiler Tests", done: true });
printTask({ title: "Optimize VM Dispatcher", done: false, priority: 1 });

Tiny supports object and array destructuring for both let and const declarations. This includes support for nested patterns, default values, and property renaming.

import std "io";

const user = {
    name: "Alice",
    age: 30,
    address: { city: "NYC", zip: "10001" }
};

// Object destructuring with renaming and nesting
let { name, address: { city } } = user;
io.println(`${name} lives in ${city}`);

// Array destructuring
let coordinates = [10.5, 20.8, 30.0];
let [x, y] = coordinates;
io.println(`X: ${x}, Y: ${y}`);

Class Composition and Embedding

Tiny emphasizes composition over deep inheritance. The embed keyword allows a class to delegate behavior to another class instance. If a method or field is missing on the parent, it is automatically resolved from the embedded instance.

import std "io";
import std "json";

class Logger {
    field messages = []

    fn log(message: string) {
        this.messages.push(message);
        io.println(`Log: ${message}`);
    }

    fn dump() {
        return this.messages;
    }
}

class SessionManager {
    field active = true
    embed logger

    fn init() {
        this.active = true;
        this.logger = Logger();
        // Call to embedded class method
        this.log("Session manager initialized");
    }

    fn close() {
        this.active = false;
        this.log("Session closed");
    }
}

let session = SessionManager();
session.close();

// Directly calls the embedded Logger.dump method
io.println(json.pretty(session.dump()));

The match block provides branch dispatching with support for literal values, variables, enums, union patterns, and guards. It is the primary way to extract data from enum variants.

import std "io";

enum Result {
    Ok(value: any),
    Error(message: string)
}

fn process(res: Result) {
    match res {
        Result.Ok(val) if val > 0 {
            io.println(`Success: ${val}`);
        }
        Result.Ok(val) {
            io.println("Success with zero or negative value");
        }
        Result.Error(msg) {
            io.println(`Error: ${msg}`);
        }
        _ {
            io.println("Unknown state");
        }
    }
}

process(Result.Ok(42));

Scoped Cleanups with Defer

The defer statement schedules a function call to execute immediately before the current surrounding function scope exits, regardless of early returns or thrown errors.

import std "fs";
import std "io";

fn processFile(path: string) {
    io.println("Opening file stream...");
    let file = fs.open(path);

    defer fn() {
        io.println("Running defer block: closing file stream.");
        file.close();
    }

    io.println("Processing file data...");
}

processFile("README.md");

Parallel Thread Execution

Tiny executes parallel operations using OS-level multi-threading. The spawn keyword starts a new execution routine on an isolated VM state space. Unlike event-loop models, Tiny runs tasks concurrently across all available CPU cores.

import std "io";
import std "time";

let worker = spawn () fn() {
    time.sleep(1000);
    return "Worker thread complete";
};

io.println("Main thread proceeding...");
let result = await worker;
io.println(result);

Thread Safety and Mutex Locking

Shared state can be coordinated using mutexes and native lock blocks. The compiler guarantees that the mutex is automatically released when execution leaves the block, preventing deadlocks.

import std "io";
import std "sync";

let counter = 0;
const m = sync.mutex();

fn increment() {
    lock m {
        counter = counter + 1;
    }
}

Just-In-Time (JIT) Compilation

Tiny includes a multi-function JIT compilation engine that translates hot bytecode paths into native WebAssembly.

The compiler automatically identifies hot loops in top-level code and function bodies, outlining them into specialized JIT regions. This ensures that even scripts and timed benchmarks run at native speed without manual function encapsulation.

For arrays containing objects of uniform shape, the JIT implements host-memory mirroring. It utilizes field-column pointer tables to access object properties directly in linear memory, bypassing the host-call overhead typically associated with VM-to-Native interop. Packed arrays now support dynamic growth and Wasm-side optimization.

The JIT automatically selects eligible functions. For maximum performance:

  • Avoid Closures with Captures: Functions that close over mutable outer variables are executed by the interpreter.
  • Stay Synchronous: async functions are not currently eligible for JIT compilation.
  • Type Hints: Provide explicit hints (e.g., : number) to help the JIT generate specialized machine code.
  • Efficient Strings: String join operations are now JIT-accelerated. For large builds, prefer stringBuilder from the standard library.
// Highly JIT-optimized: typed, synchronous, no captures, uses loops
fn computeSum(n: number, initial = 0): number {
    let total = initial;
    for let i = 0; i < n; i++ {
        total += i;
    }
    return total;
}

Inline Go Extensions (WebAssembly)

For logic requiring specific Go packages, Tiny allows writing Go code directly in the source file using native fn. These blocks are compiled to WebAssembly via TinyGo and loaded at runtime.

import std "io";
import std "time";

native fn calculateSha256(input: string): string {
    go {
        import "crypto/sha256"
        import "encoding/hex"

        h := sha256.Sum256([]byte(input))
        return hex.EncodeToString(h[:])
    }
}

const text = "Tiny runtime speed";
io.println(`SHA256: ${calculateSha256(text)}`);

Standard Library Reference

validate (Schema Validation)

A chainable API for defining and enforcing data schemas. Supports objects, arrays, unions, and transformations.

import std "validate";
import std "io";

const userSchema = validate.object({
    username: validate.string().trim().nonempty().min(3).required(),
    age: validate.number().int().positive().default(18),
    tags: validate.array(validate.string()).default([])
});

const result = userSchema.safeParse({ username: "  alice  " });
if result.success {
    io.println(result.data.username); // "alice"
}

url (URL Encoding & Decoding)

Encode & Decode URL

time (Timers and Measurement)

Support for execution delays, performance measurement, and managed timers.

import std "io";
import std "time";

// Managed interval timer
let timer = time.interval(1000, fn() {
    io.println("Tick");
});

time.sleep(5000);
timer.cancel();

array (Native Operations)

Native operations for array manipulation, including find, filter, map, reduce, sort, flat, and findIndex.


http (High-Throughput Web Services)

Fully concurrent web server and client. The server supports route-based multiplexing and optimized JSON serialization.

import std "http";
import std "io";

let server = http.server(8080);

server.get("/users/:id", fn(req: http.RequestObject) {
    return http.json({
        id: req.params["id"],
        query: req.query
    });
});

io.println("Web server listening on port 8080");
server.start();

ui (WebView Desktop Applications)

Lightweight desktop containers using HTML/CSS/JS with direct bindings to Tiny functions.

import std "ui";

const win = ui.new(true);
win.setTitle("Tiny UI");
win.setSize(500, 400);

win.callback("registerClick", fn(arg) {
    return "Click registered";
});

win.setHtml("<h1>Hello Tiny</h1>");
win.run();

Wraps native interfaces for automating keyboard, mouse, and clipboard interactions.

import std "desktop";

desktop.moveMouseSmooth(800, 600);
desktop.click();
desktop.type("Tiny Automation");

Command Line Interface (CLI)

  • tiny run <file>: Compiles and runs scripts. Utilizes a bytecode cache to skip recompilation of unchanged files.
  • tiny pack <file> -o <binary>: Bundles bytecode and the VM runtime into a single standalone native executable (~13MB).
  • tiny dist <file> -o <dir>: Packages the application with its compiled plugins and assets.
  • tiny lsp: Starts the Language Server.

Run tiny lsp for integration with editors like VS Code. Features include:

  • Organize Imports: Automatic sorting and unused import removal.
  • Semantic Recovery: Diagnostics that persist even during syntax errors.
  • Type Narrowing: Flow-based type inference (e.g., after null checks).
  • Refactoring Safety: Correct symbol resolution for object keys and variable identifiers.
联系我们 contact @ memedata.com