Skip to content
yaoxiang new universe
Creating project...
Universe: Type = {
    matter: Amount,
    energy: Amount,
    expand: (self: Universe) -> Void = ...
}
Done in 0.04s ✨
TYPE THE UNIVERSE

YaoXiang // 爻象

A_

>>_ All things proliferate; I observe their return

A

THE ARCHITECTURE

RFC-009 / RFC-010 / RFC-011
TRACK 01
RFC-010

Unified Syntax

Philosophy of minimalism. From variables to functions, all declarations follow the name: type = value pattern, lower learning curve, more consistent code.

  • Extreme uniformity in syntax declarations
  • Types are first-class citizens
x: Int = 42
add: (a: Int, b: Int) -> Int = (a, b) => a + b
Point: Type = { x: Int, y: Int }
RFC-011

Zero-Cost Generics

Generic specialization is completed at compile time, type abstraction brings no runtime overhead. Compile-time monomorphization. Dead code elimination. Type system as macro.

Box<T>Box_Int
RFC-009

Ownership Model

Farewell to GC stutters. YaoXiang uses a scope-based ownership model, memory safety is determined at compile time, no surprises.

Shared references
Predictable
No GC stutters
No lifetimes
B

THE RUNTIME

RFC-008 / STD-LIB
TRACK 04

Decoupled Scheduler

From microcontrollers to high-performance servers, runtime adapts to the environment. Different scenarios choose different scheduling strategies, balancing performance and resources.

  • Embedded
    Fully synchronous (Sync)
  • Standard
    Automated concurrency management based on DAG and lazy evaluation
  • Full
    Work-stealing mechanism

Language Specification v1.8

No syntax sugar bombardment. 17 keywords cover all features, no complex syntax sugar, just pure expressiveness.

Get Started →
17 Keywords
Type Inference
Pattern Match
Traits
Modules
FFI
Concurrency
Curry Function