BURAN 是一種程式語言，其中一切皆為模式，所有運算都通過模式轉換進行。
["謹致問候！"] ↦ [stdout]
階乘 {
[0] ↦ [1]
[𝑛] ↦ [𝑛 × 階乘(𝑛 − 1)]
}
階乘([5]) ↦ [120]
無 if、return 或 match 關鍵字 — 模式本身就是邏輯。標準數學符號（×、−、𝑛）讓定義如同公式般可讀。轉換箭頭 ↦ 明確顯示資料流向。
Buran 程式不是描述程序或操作序列，而是定義資料模式如何轉換為其他模式，創建一個優雅且統一的運算模型。專為非人類編碼與開發而設計，Buran 一致的語法和清晰的語義使其非常適合機器生成，同時人類也能閱讀——包括非程式設計專業人士，如能使用標準 ISO 80000-2 符號撰寫程式的數學家，以及能將語法規則直接表達為模式轉換的語言學家。
開發中 — 規範與參考實作預計於 2026 年初發布
範式
Buran 在模式轉換模型下整合多種運算範式：
應用領域
計算語言學
Buran 擅長處理自然語言處理任務，包括文本分析、轉換和結構化。其模式匹配基礎使得表達語法規則、詞形轉換和句法解析變得自然。該語言對 Unicode 和擴展字形群集的支援確保能正確處理任何人類語言的文本。
數學運算
Buran 原生支援遵循 ISO 標準的數學符號，讓數學家和科學家能像在紙上書寫一樣撰寫表達式。針對矩陣、複數、符號微積分和統計的領域特定求值，在保持符號清晰度的同時實現複雜的數學運算。
通用程式設計
除了專業領域外，Buran 也是一種功能完備的通用語言。其模式轉換模型自然地表達資料處理管線、配置轉換，以及任何涉及識別結構並產生相應輸出的任務。統一的語法降低了跨問題領域的認知負擔。
符號運算
該語言在符號處理方面的根基使其非常適合電腦代數系統、定理證明器和形式驗證工具。模式可以表示數學表達式、邏輯公式或任何結構化符號資料，轉換則實現推理規則和代數簡化。
哲學
Buran 的核心理念是：運算本質上是關於識別模式並產生相應結果。通過將模式作為一等公民，並將轉換作為通用操作，該語言實現了驚人的一致性：資料結構、函數定義、類型宣告和輸入/輸出操作都遵循相同的模式化模型。
該語言將 Unicode 視為基礎設計決策而非事後添加，使程式無論是表達語言規則、數學公式還是一般演算法都能自然閱讀。這種對人類可讀符號的承諾反映了 Buran 彌合形式規範與直觀理解之間差距的目標。
起源
Buran 綜合了六十年程式語言研究的思想，特別借鑒了那些將符號操作和模式匹配視為基本操作而非僅僅便利功能的語言。
波你尼的八篇書
約公元前 400 年第一個形式語言系統。波你尼的梵語文法由約 4,000 條代數式重寫規則組成，將語言模式轉換為表面形式。這部古印度傑作比現代計算早了兩千年——其經文即是模式轉換規則，使其成為所有基於規則程式設計的概念性祖先。
數學符號
1557 年數學的形式語言。數學家們經過數世紀發展出精確的符號表示法，以簡潔明確地表達複雜概念。Buran 將標準數學符號視為可直接執行的程式碼，遵循 ISO 80000-2 慣例——讓數學家能像寫公式一樣編寫程式。
Lisp
1958 年最初的符號運算語言。Lisp 確立了程式和資料可以共享相同表示的概念，實現了元程式設計和符號操作。Buran 通過其通用模式語法繼承了這種同像性。
SNOBOL
1962 年開創了具有回溯功能的複雜字串模式匹配。SNOBOL 證明了模式匹配可以成為主要控制結構，而不僅僅是字串操作。Buran 將這一願景擴展到所有資料類型。
Refal
1966 年最直接的前身。Refal 在蘇聯開發，將模式轉換引入為完整的運算模型。程式是重寫規則系統，表達式匹配模式並轉換為結果。據報導，Refal 曾用於編程蘇聯暴風雪號太空梭的自主飛行系統——這正是該語言名稱的來源。Buran 的核心語義直接源自 Refal 的願景。
Prolog
1972 年通過統一將模式匹配引入邏輯程式設計。Prolog 表明宣告式的模式化規範可以取代命令式演算法。Buran 採用這種宣告式精神，同時避免 Prolog 的邏輯變數語義。
ML
1973 年將模式匹配與靜態類型和代數資料類型整合。ML 證明了模式匹配和類型安全可以優雅共存。Buran 通過身份元資料的類型系統呼應了 ML 將類型視為文檔的哲學。
APL
1966 年證明了數學符號可以是可執行的。APL 使用特殊符號進行陣列操作，預示了 Buran 對 Unicode 的採用以實現自然的數學表達。兩種語言都優先考慮與從業者思維方式相匹配的符號。
Wolfram Language
1988 年將符號模式匹配與計算數學相結合。Wolfram Language 的轉換規則和領域特定求值策略直接影響了 Buran 的數學運算方法及其領域系統。
Haskell
1990 年在純函數式環境中以惰性求值完善了模式匹配。Haskell 的守衛、where 子句和模式語法影響了 Buran 的模式守衛系統及其組合式程式構建方法。
從這些基礎中，Buran 作為一種綜合體出現：波你尼的重寫規則、數學符號的形式精確性、Refal 的轉換模型、Lisp 的符號靈活性、SNOBOL 的模式複雜性、Prolog 的宣告式清晰度、ML 的類型規範、APL 的符號大膽、Wolfram 的數學領域和 Haskell 的函數式優雅。結果是一種將模式轉換不是視為眾多功能之一，而是視為所有運算統一原則的語言。
這種綜合使 Buran 定位於新的運算時代。其一致的、基於模式的語義使其非常適合機器生成——AI 系統可以比那些背負歷史不規則性的語言更可靠地產生正確的 Buran 程式碼。然而，同樣的一致性，加上領域原生符號，使 Buran 對從未程式設計過的專家真正可及：編寫可執行公式的數學家、編碼語法的語言學家、表達模型的科學家。Buran 彌合了人類專業知識與機器執行之間的差距，提供了一條服務於兩者的運算之路。
X-Buran
標識符 x-buran 在多個情境中作為統一的技術身份：
語言代碼
有效的 BCP 47 私用語言標籤。在 HTML 中使用 lang="x-buran" 或在 HTTP 中使用 Content-Language: x-buran 來在多語言環境中識別 Buran 原始碼。
網域
官方網站位於 x-buran.com。提供 Buran 程式語言的文檔、規範和資源。
HTTP 標頭
自訂標頭如 X-Buran-Version 或 X-Buran-Domain 可通過協議層傳輸關於 Buran 處理內容的元資料。
創始
程式設計師。語言學家。哈佛畢業。小學三年級時教授了他的第一堂程式設計課。
於 2025 年創建 Buran，從數十年符號運算和模式匹配語言研究中汲取靈感，為新的運算時代創造一種現代語言。