Skip to content

Добро пожаловать во вселенную YaoXiang! ​

«Из небытия рождается Высший Предел. Когда Высший Предел приходит в движение, рождается Ян; когда он пребывает в покое, рождается Инь.» — Чжоу Дуньи, «Описание Великого Предела»

Это центр вселенной YaoXiang.

В восточной философии «яо» (爻) — это основной символ, из которого складываются триграммы и гексаграммы; в нём заключены все превращения Инь и Ян. «Сян» (象) — это внешнее проявление сущности вещей; во всех явлениях и вещах можно найти свои закономерности.

Язык программирования YaoXiang — это попытка воплотить эту древнюю мудрость в современной системе типов.

Что такое YaoXiang? ​

Представьте, что вы собираете конструктор Lego:

КонцепцияLegoYaoXiang
Базовая единицаКирпичиктип
Способ комбинированияСоединениеотображение функций
Готовый продуктСамолёт, автомобильпрограмма

В мире YaoXiang всё является типом:

  • Числа — это тип, текст — это тип
  • Сам тип тоже является типом (метатип)
  • Функция — это мост от типа к типу

Основные особенности ​

ОсобенностьYaoXiangПримеры других языков
Система типовЗависимые типы + параметрический полиморфизмTypeScript
Управление памятьюМодель владения (без GC)Rust
Асинхронное программированиеМодель spawn (невидимая конкурентность)async/await
Стиль синтаксисаВ духе PythonPython

Одной фразой: так же плавно, как Python; так же безопасно, как Rust.

Путь обучения ​

Для пользователей с опытом программирования ​

Если у вас уже есть опыт программирования, мы рекомендуем начать с раздела «Введение для опытных».

🚀 Введение для опытных →

Для пользователей без опыта программирования ​

Если у вас нет опыта программирования, мы рекомендуем начать с раздела «Введение с нуля».

💡 Введение с нуля →

💡 Совет: Отсутствие опыта программирования — это даже преимущество: без багажа других языков вы сможете наиболее непосредственно постичь философию дизайна YaoXiang.

Кому подходит изучение YaoXiang? ​

  • ✅ Исследователям, желающим разобраться в дизайне языков программирования
  • ✅ Любителям функционального программирования
  • ✅ Практикам, увлечённым системами типов
  • ✅ Разработчикам, которым хочется испытать «невидимую конкурентность»
  • ❌ Командам, которым нужно немедленно запускать проект в продакшн (язык всё ещё на экспериментальной стадии)

«Дао, которое может быть названо, — не есть вечное Дао.» — YaoXiang всё ещё находится на ранней стадии исследования, и каждый первопроходец формирует его будущее.

Следующие шаги ​

🚀 Быстрый старт →

Или начните с ключевых концепций:

Рекомендуем начать систематическое обучение с Быстрого старта. ​

«Небо движется неустанно; благородный муж непрестанно стремится к самосовершенствованию.»

Желаем вам обрести свой собственный Дао во вселенной YaoXiang.