| slug | raya |
| name | Raya Language Expert |
| description | Comprehensive knowledge of the Raya programming language, its architecture, and development practices |
| version | 1.0.0 |
| tags | ["programming-language","compiler","runtime","typescript-syntax","concurrency","static-typing"] |
Raya Language Expert
A comprehensive knowledge base for Raya — a statically-typed programming language with TypeScript syntax, featuring a custom bytecode VM with goroutine-style concurrency and zero runtime type checks.
What is Raya?
Raya is a modern programming language that combines:
- TypeScript-compatible syntax for familiarity
- Fully static type system with zero runtime type checks
- Goroutine-style concurrency with lightweight green threads
- Custom bytecode VM with typed opcodes
- Monomorphization for generics (like Rust/C++)
- Sound type system with no escape hatches
Quick Facts
| Aspect | Detail |
|---|
| Implementation | Rust (stable 1.70+) |
| Type System | Fully static, sound, no any type |
| Concurrency | Goroutine-style Tasks with work-stealing scheduler |
| Generics | Monomorphization (compile-time specialization) |
| I/O Model | Synchronous APIs + goroutines for concurrency |
| Tests | 4,121+ tests (0 ignored) |
Skill Contents
📚 Language
- Type System - Type checking rules, discriminated unions, generics
- Concurrency - Tasks, async/await, work-stealing scheduler
- Syntax - Import system, declarations, control flow
- Examples - Complete working programs
🏗️ Architecture
📦 Standard Library
- Overview - Philosophy and I/O patterns
- Cross-Platform - 14 modules (logger, math, crypto, etc.)
- POSIX - 15 system modules (fs, net, http, etc.)
- Native IDs - ID ranges and dispatch mechanism
🛠️ CLI & Tools
💻 Development
📖 Reference
Getting Started
For Users
- Read Language Syntax
- Review Standard Library Overview
- Check CLI Commands
For Contributors
- Understand Architecture Overview
- Review Development Workflow
- Check Project Status
For Language Learners
- Read Type System
- Study Examples
- Explore Concurrency Model
Design Principles
| Principle | Implementation |
|---|
| Explicit over implicit | Discriminated unions, required type annotations |
| Safety over convenience | No escape hatches, sound type system |
| Performance through types | Typed opcodes, monomorphization |
| Familiar syntax | TypeScript-compatible where possible |
| Predictable semantics | Well-defined execution model |
Version: 1.0.0
Last Updated: 2026-02-22
Repository: github.com/rayalang/rayavm
