Език VVL

Всичко е команда в скоби

Едно синтактично правило — [команда аргументи…] — важи навсякъде: изчисление, клас, мрежово извикване, заявка към LLM. Кодът е данни: списък се изчислява или се цитира с обратен апостроф, за да се обработва като синтактично дърво.

# Prefix form [command args…] — eager evaluation, innermost first
[print [+ 1 2 3]]          # → 6

# Variables ($), assignment (=), sugared infix arithmetic (…)
$prix = 100
$ttc  = ($prix * 1.20)          # → 120.0

# Quasiquote (backtick) = literal data; unquote (,) injects a value
$n = 5
`[1 ,$n ,[+ 1 2]]            # → [1 5 3]

# String interpolation: ${ VVL expression }
$msg = "n*n = ${[* $n $n]}"     # → "n*n = 25"

# Dotted accessors, chainable
$s = "  42  "
$s.trim.int                     # → 42

# Lambda (params → $__name) + map / pmap (parallel)
$double = [lambda [x] [* $__x 2]]
[map $double `[1 2 3 4]]          # → [2 4 6 8]
[pmap $extract $documents]      # N LLM calls in parallel

Четири роли, нула конвейер

LLM не е външна услуга: той е оператор на езика. Семантичният операнд [§ "..."] (тип VVL_Semantic) превключва същия диспечер от аритметичен в невро-символен режим: [§ "котка"] == [§ "котешко"] връща 1. Четири семейства, плюс @.

[§ "chat"] == [§ "félin"]   # → 1
[§ "voiture"] + [§ "électrique"]
# → electric car (concept)

$fn = ($orders @ [§ "total_amount > 1000"])
[filter $fn $orders]   # local lambda, 0 LLM

$soleil = [@ "Soleil"]
$soleil.masse_kg     # → 1.989e30
($soleil ~~ "Étoile")  # → ~0.95

[§§ "consommation BMW Série 3 diesel 2024 ?"] # → ~5.1

[generic "masse de @{Saturne} ?"]
[get-mass-kg-of-concept "Jupiter"] # reusable

Един езиков модел, четири различни роли, нула интеграционен конвейер. Точно това прави VVL невро-символен език, а не обвивка около API.

Двадесетте семантични оператора

Активирани от операнда [§ "…"], това са същите оператори както върху числа — типът на операнда ги превключва. Четири семейства плюс @.

Фино разграничение: проекцията / извлича измерение, вече съдържащо се в описанието; свойството % пита общите знания на LLM. Семантичните резултати се композират като аритметика. Проектирана върху скала ([§ ["ниско" "средно" "високо"]]), / връща оценка: калибрирана позиция с нейната увереност.

Решавай бързо, разсъждавай при нужда

С [semanticMode "jev"] типизираните решения първо отиват при Jev (TypeSafe AI) — модел, който не пише текст, а решава (да/не, избор, позиция върху скала) с калибрирана увереност, за около 0,4 с. Ако се колебае (увереност под прага, по подразбиране 0,8), LLM поема. Същият синтаксис, същият кеш; всяко решение се записва в semantic.log (раздел Semantic на :log).

[semanticMode "jev"]
[§ "a trumpet"] == [§ "a refrigerator"]         # → 0   (Jev, 0.4 s)
[match [§ $ticket]
    [§ "Payments, refunds"]  "billing"
    [§ "Bugs, outages"]      "technical"
    "escalade"]                                   # branch chosen by meaning
([§ $review] / [§ ["calm" "annoyed" "angry"]])   # → <approx: 1.99 [high]>
[fuzzy:degree [§ $mail] "spam"]                  # → 0.98

Цената на ИИ се плаща веднъж

Как една вероятностна система става толкова надеждна, колкото нативен оператор? Чрез четири гаранции, вградени в двигателя, а не оставени на разработчика: (1) автоматично типизиране на изхода (никога не парсвате низ), (2) детерминиран кеш на диска — един израз, един резултат във всички сесии, цена на API → 0 и възпроизводими тестове, (3) валидиран повторен опит до успех, (4) XML спецификации few-shot. Без типизиране би трябвало да парсвате; без кеша латентността би била прекомерна; без повторния опит и най-малкото отклонение на модела би счупило програмата. Именно съвкупността отличава VVL от обикновена обвивка.

От невронното към гарантирано разсъждение

Същият език носи символната страна: гарантирано дедуктивно разсъждение, типизирани схеми и доказана оптимизация. Реифицираните концепти стават операнди на тази алгебра — това е невро-символният мост.

Състояние, което се доказва и се изпълнява отново

Един [keyword], чийто [contract] посочва регистър, става смарт договор: всяко извикване е транзакция, записана в подписан блок, свързан във верига. Условията на договора се доказват преди изпълнението, проверяват се при всяко извикване, а цялата история се изпълнява отново — всичко това в самия език, без външен блокчейн.

[keyword transfer
    [contract
        [args from to [amount :type Integer :min 1]]
        [ledger bank]
        [state [src "account:{from}" :required] [dst "account:{to}" :required]]
        [require "amount <= src"]
        [ensure  "src + dst = old(src) + old(dst)"]]
    [do [state:put src ([state:get src] - @3)]
        [state:put dst ([state:get dst] + @3)]]]

[contract:verify transfer].status        # → "proved"   (for every state)
[transfer "alice" "bob" 30]              # → one signed block
[transfer "alice" "bob" 500]             # → refused, nothing written
[ledger:verify bank].ok                  # → 1   (chain, signatures, full replay)

Интерпретиран, компилиран, после разпределен

Един и същи код минава от интерпретатора към нативна виртуална машина, а после към няколко машини — без да бъде пренаписван. Решава не настройка, а проверимо свойство на кода: неговата чистота.

VVL срещу Python + LangChain

Единен ИИ сървър, управляван от език, чиято парадигма е създадена за него. Това е разликата между интегриране на ИИ и програмиране с него.