yaoxiang new universeCreating project...Universe: Type = { matter: Amount, energy: Amount, expand: (self: Universe) -> Void = ...}Done in 0.04s ✨YaoXiang // 爻象
A_
>>_ All things arise together; I observe their return
THE ARCHITECTURE
Unified Syntax
Minimalist philosophy. From variables to functions, all declarations follow the name: type = value pattern, lowering the learning curve and keeping code consistent.
- ✓ Declarations are extremely uniform
- ✓ Types are first-class citizens
x: Int = 42add: (a: Int, b: Int) -> Int = (a, b) => a + bPoint: Type = { x: Int, y: Int }Zero-Cost Generics
Generic specialization happens at compile-time, with no runtime overhead from type abstraction. Compile-time monomorphization. Dead code elimination. Type system as macros.
Ownership Model
Goodbye to GC pauses. YaoXiang uses a scope-based ownership model, with memory safety guaranteed at compile-time — no surprises.
THE RUNTIME
Decoupled Scheduler
From microcontrollers to high-performance servers, the runtime adapts to the environment. Different scenarios choose different scheduling strategies, achieving both performance and resource efficiency.
- Embedded
Fully synchronous (Sync) - Standard
Automated concurrency management based on Directed Acyclic Graph (DAG) and lazy evaluation - Full
Work-stealing mechanism (WorkSteal)
Language Specification v1.8
No syntax sugar bombardment. 17 keywords cover all features — no complex syntax sugar, only pure expressiveness.
Get Started →