┌ ▍ chiba · metal-level functional spec / v0.6.13 ┐

Metal-level FP
Zero Runtime.

Name: CHIBA
Author: LemonHX

CHIBA /tʃiːbɑː/ ← 尺八 · shakuhachi a five-holed bamboo flute. one breath. one tone. no waste.

helloworld binary

4.2 KB

deps

bootstrap

host

self

get started ↗ view on github ↗

latest stable v0.6.13

Delimited Continuation

answer.chiba

def choose(): i64 =
    reset {
      let x = shift k {
        k(20) + k(22)
      }
      x + 1
    }

def store64(ptr: i64, idx: i64, val: i64): *u8 =
    unsafe {
      asm (ptr: rdi, idx: rsi, val: rdx) : (rax) => {
          "mov [rdi + rsi*8], rdx"
          "xor eax, eax"
      }
    }

type Slice = { ptr: *u8, len: usize }

def Slice.at(self: Slice, index: usize): u8 =
    unsafe { self.ptr[index] }

def main(): u8 = {
    let s = Slice { ptr: 0x1000, len: 10 }
    s.at(3)
}

def x_of(point: {r | x: i64}): i64 =
    point.x

def move_right(point: {r | x: i64}, dx: i64): {r | x: i64} =
    {point | x: point.x + dx}

data Option[T] { Some(T), None }

def unwrap_or(value: Option[T], fallback: T): T =
    match value {
      Some(x) => x
      None => fallback
    }

def normalize(name: String): String =
    name |>
      trim() |>
      lowercase() |>
      replace("_", "-") |>
      intern()

note ▸ why it matters chiba/level-1

reset marks an answer boundary; shift captures the surrounding context as a first-class value k.

Calling k twice replays the same continuation — Chiba tracks usage (one-shot vs multi-shot) in the type, so the compiler refuses unsafe replay statically.

Control is a value with a type, not a hidden runtime bargain: no exception tables, no setjmp, no implicit allocator.

└ 0 deps · self-hosted ┘

[01] ┌─┐

NATIVE

No LLVM. No libc. Proprietary self-hosting native backend.

▍ Every instruction emitted with binary precision.

[02] ├─┤

FUNCTIONAL

ADTs, row polymorphism, first-class continuations.

▍ Composition without compromise.

[03] └─┘

VERIFIED

Answer Type tracks continuation boundaries.

▍ Safety without GC, without refcount.

TYPE SYSTEM ->

Tail-Call Opt.

ATP proves stack depth bounds at compile-time.

Uniqueness

Tracks resources through function boundaries.

No LLVM

Built for deterministic cycle-by-cycle control.

Continuations

Parser resumes from valid sync points locally.

Latest Insights

Compiler notes, proof sketches, backend experiments, and deterministic systems logs — read the manifesto behind it.

About / Manifesto scroll ▾

[ LOG / INSIGHTS ] 01 / 05

Latest Insights

Compiler notes, proof sketches, backend experiments, and deterministic systems logs — read the manifesto behind it.

About / Manifesto

[ POST / BLOG ] 02 / 05

First Shoot, Then Draw the Target: Chiba, Rust, and the LLM Cheat Code

A Chiba note about a strange two-agent experiment: the self-bootstrap path became messy, while the Rust reference compiler came out absurdly clean, forcing a rethink of how LLMs learn language style.

Read Article Jun 2, 2026

[ POST / BLOG ] 03 / 05

CHIBA's Level-1: PL created overnight using AI Agent Engineering like Sunomata Overnight Castle

Chiba Level-1 did not appear out of nowhere. It was assembled through specs, harnesses, context engineering, agent loops, and finally Codex turning a prepared pile of documents and Level-0 code into a real next-stage compiler.

Read Article May 10, 2026

[ POST / BLOG ] 04 / 05

Chiba Language’s Boring Promise: When Zig Starts Drifting

Zig once promised directness and control, but recent governance and ecosystem shocks around Bun, AI-assisted forks, and accepted language churn expose a deeper problem: a systems language needs a leash, not just velocity.

Read Article May 5, 2026

[ POST / BLOG ] 05 / 05

CHIBA-LANG Level-0 DONE! Starting ChibaLex & ChibAcc

After two weeks of hard work, Chiba-level0 has gone from an initial Rust demo to hand-written assembly and then to an LLM-assisted bootstrap path, and the next step is to build chibalex and chibacc for Level-1 self-hosting.

Read Article Apr 21, 2026

[ DOCS / LEVEL-1 SPEC ]

Language Spec Surface

Browse Docs

新的 docs 区已经接入站内，面向 CHIBA level-1 的核心语言、控制流、内存模型、包系统与 lowering 规则。

A site-native entry into the CHIBA level-1 spec, so readers can browse implementation-facing language rules without leaving the main site.

LEVEL-1 DOC

ChibaLex 设计草案

> ChibaLex 是 Chiba 生态自带的词法工具。

Follow the current CHIBA language rule and jump into the full section from the landing page.

Open Doc

LEVEL-1 DOC

ChibaCC 设计草案（重定义）

> ChibaCC 是 Chiba 生态自带的语法分析工具。

Follow the current CHIBA language rule and jump into the full section from the landing page.

Open Doc

LEVEL-1 DOC

Chiba Level 1 Memory Model Draft

本文描述 Chiba level-1 的内存模型、隐式 `reset`、值与引用区分、以及 escape legality。

Follow the current CHIBA language rule and jump into the full section from the landing page.

Open Doc

Governance / 501(c)(3) (not yet)

Foundation

CHIBA Software Foundation

The CHIBASF(prepare to register) is a non-profit founded (not yet) to support development of the language. It offers paid work at competitive rates to a small number of core contributors.

Competitive core contributor rates

Sustained by individual donations

Labs / Commercial Wing

Chiba Labs

Chiba Labs(not yet) provides commercial support and proprietary extensions to fund the core protocol's longevity. We specialize in industry-grade optimization and neural computation.

Compiler O3

Advanced profile-guided optimizations for enterprise-scale deployments.

Neural Lib

Deterministic AI libraries with formal tensor verification for safety-critical inference.

Financial Backbone

Corporate Sponsors

The following companies provide direct financial support to the CHIBA Software Foundation, enabling us to pay core contributors and maintain a neutral toolchain.

LemonHX Author

Empower the Future

Sponsorship ensures CHIBA remains a permanent fixture of the systems programming landscape.

Community

Decentralized ecosystem

The CHIBA community is decentralized. Anyone is free to start and maintain their own space. There is no concept of "official" or "unofficial"; each gathering place has its own moderators and rules.

See all Communities

Main development

The CHIBA repository is at https://github.com/chiba-lang — issue tracker and proposals hosted there.

Browse Source Code & Proposals

Contributors are expected to follow CHIBA Code of Conduct.

[ VISION / DOT-SCREEN ]

Think FP Run in ASM

Metal-level FP Zero Runtime.

NATIVE

FUNCTIONAL

VERIFIED

Tail-Call Opt.

Uniqueness

No LLVM

Continuations

Latest Insights

Latest Insights

First Shoot, Then Draw the Target: Chiba, Rust, and the LLM Cheat Code

CHIBA's Level-1: PL created overnight using AI Agent Engineering like Sunomata Overnight Castle

Chiba Language’s Boring Promise: When Zig Starts Drifting

CHIBA-LANG Level-0 DONE! Starting ChibaLex & ChibAcc

Language Spec Surface

ChibaLex 设计草案

ChibaCC 设计草案（重定义）

Chiba Level 1 Memory Model Draft

CHIBA Software Foundation

Chiba Labs

Compiler O3

Neural Lib

Corporate Sponsors

Empower the Future

Decentralized ecosystem

Main development

Metal-level FP
Zero Runtime.