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，从数十年符号运算和模式匹配语言研究中汲取灵感，为新的运算时代创造一种现代语言。