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
ТРЕК 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

generics без накладных расходов

Специализация generics выполняется на этапе компиляции, типовая абстракция не создаёт никаких затрат во время выполнения. Компиляция monomorphization. Устранение мёртвого кода. Типовая система как макрос.

Box<T>Box_Int
RFC-009

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

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

Общие ссылки
Предсказуемость
Без зависаний GC
Без времени жизни
B

THE RUNTIME

RFC-008 / STD-LIB
ТРЕК 04

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

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

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

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

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