Skip to content

Add Cobrust language#643

Merged
celtic-coder merged 1 commit into
breck7:mainfrom
Hakureirm:add-cobrust
May 22, 2026
Merged

Add Cobrust language#643
celtic-coder merged 1 commit into
breck7:mainfrom
Hakureirm:add-cobrust

Conversation

@Hakureirm
Copy link
Copy Markdown
Contributor

@Hakureirm Hakureirm commented May 22, 2026

Adds Cobrust to PLDB.

Language: Cobrust — statically-typed Python successor implemented in Rust with an AI-native translation subsystem.

Repository: https://github.com/Cobrust-lang/cobrust
License: Apache-2.0 OR MIT (dual)
First public release: v0.3.0 (2026-05-18)
Current release: v0.5.2 (2026-05-22)
Implementation language: Rust 1.94+
Extension: .cb

Cobrust keeps Python ergonomics (indentation blocks, comprehensions, structural pattern matching, f-strings) while adopting Rust's ownership model, Result<T,E> / Option<T> error handling, and zero-GIL concurrency. The compiler includes an AI-native translation subsystem that closed-loop converts Python libraries into Cobrust under differential testing verification.

Design constraints that distinguish it from other Python successors:

  • No implicit truthiness (if x requires x: bool)
  • No mutable default arguments (compile error)
  • No multiple inheritance (composition + traits)
  • Result<T,E> as default error path; exceptions reserved for unrecoverable conditions
  • Ownership-based concurrency, no global lock
  • LLM-first design (every choice optimised for "LLM agents write it correctly on the first try" — see CLAUDE.md §2.5)

Cross-references

Cobrust is a statically-typed Python successor implemented in Rust
with an AI-native translation subsystem. Compiles to native binaries
via Cranelift / LLVM. File extension: .cb

Repository: https://github.com/cobrust-lang/cobrust
License: Apache-2.0 OR MIT
@celtic-coder celtic-coder merged commit bff882a into breck7:main May 22, 2026
@celtic-coder
Copy link
Copy Markdown
Collaborator

Thanks Hakureirm! (@Hakureirm) 👍

celtic-coder added a commit to Programming-Language-DataBase/pldb that referenced this pull request May 22, 2026
@Hakureirm Hakureirm deleted the add-cobrust branch May 22, 2026 09:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants