raya-language-expert

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

• Overview - High-level system design
• Crates - 8-crate structure and dependencies
• Compiler - Parser → IR → Bytecode pipeline
• Virtual Machine - Interpreter, scheduler, GC
• JIT/AOT - Native compilation features

📦 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

• Commands - run, build, check, eval, repl, bundle
• Package Manager - Dependency management workflow
• REPL - Interactive shell usage

💻 Development

• Workflow - Worktree workflow, build commands
• Testing - Test infrastructure (4,121+ tests)
• Adding Modules - How to add stdlib modules
• Project Status - Completed and in-progress work

📖 Reference

• Quick Reference - FAQ and cheat sheet
• Common Tasks - Recipe-style task guide
• Documentation - Links to all design docs

Getting Started

For Users

1. Read Language Syntax
2. Review Standard Library Overview
3. Check CLI Commands

For Contributors

1. Understand Architecture Overview
2. Review Development Workflow
3. Check Project Status

For Language Learners

1. Read Type System
2. Study Examples
3. 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