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

THE ARCHITECTURE

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

Единый синтаксис

Философия минимализма. От переменных до функций — все объявления следуют шаблону name: type = value, что снижает порог входа и обеспечивает единообразие кода.

  • ✓ Предельно единообразные синтаксические объявления
  • ✓ Типы — полноправные сущности
x: Int = 42
add: (a: Int, b: Int) -> Int = (a, b) => a + b
Point: Type = { x: Int, y: Int }
RFC-011

Дженерики с нулевой стоимостью

Специализация дженериков выполняется во время компиляции, абстракция типов не привносит накладных расходов во время выполнения. Мономорфизация на этапе компиляции. Удаление мёртвого кода. Система типов как макросы.

Box<T>→Box_Int
RFC-009

Модель владения

Попрощайтесь с паузами GC. YaoXiang использует модель владения на основе областей видимости, безопасность памяти гарантируется на этапе компиляции — никаких сюрпризов.

✓
Разделяемые ссылки
✓
Предсказуемость
✕
Без пауз GC
✕
Без времён жизни
B

THE RUNTIME

RFC-008 / STD-LIB
TRACK 04

Декомпозированный планировщик

От микроконтроллеров до высокопроизводительных серверов — среда выполнения адаптируется к окружению. Разные сценарии выбирают разные стратегии планирования, сочетая производительность и эффективное использование ресурсов.

  • Embedded
    Полностью синхронный (Sync)
  • Standard
    Автоматическое управление конкурентностью на основе DAG и ленивых вычислений
  • Full
    Механизм кражи работы (WorkSteal)

Спецификация языка v1.8

Отказ от бомбардировки синтаксическим сахаром. 17 ключевых слов покрывают все возможности — никакого сложного синтаксического сахара, только чистая выразительность.

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