Mathematica 卖了将近四十年，靠一件事撑着价格：它的语言 Wolfram Language，用户一旦学会就很难跳出去。开源世界里能替代它的工具一堆——SymPy、Maxima、Octave、SageMath——功能上够用，但没有一个敢直接抄它的语法。Woxi 这次不一样，它用 Rust 重写了一个能跑 Wolfram Language 语法的解释器，直接放进浏览器，靠 WebAssembly 跑，不用装任何东西。
这事有意思的地方不在"又出了个开源替代品"，而在于它选的是难度最高的那条路——语法兼容，不是功能对标。
发生了什么
Woxi 在 Show HN 上亮相，官网首页就是个能直接敲代码的演练场：Map、Primes、Factorize、Plot、BarChart、Graph、TreeForm 这些 Wolfram Language 里常见的函数都能跑，图形输出也做出来了。网页标注2026年8月12日上线，官网强调所有计算在浏览器本地跑，不上传数据。
围绕这个解释器核心，Woxi 补了一整条工具链：命令行工具 woxi eval 能直接跑表达式，也能执行 .wls 脚本或当 shebang 解释器，官网说启动速度比官方的 wolframscript 快；装了 Jupyter kernel 之后可以在本地 Jupyter 里用，也内置了 JupyterLite，直接在浏览器跑完整 notebook；Woxi Studio 是原生的 .nb 笔记本编辑器，cell 编辑、图形内嵌都有，还能导出成 .ipynb、Markdown、LaTeX、Typst、PDF。
这不是一个 demo 页面配几个示例代码，是把 Wolfram 生态里用户常用的入口——网页、命令行、笔记本——补齐了一遍。
为什么"语法兼容"是更难的选择
Wolfram Language 不是一门普通编程语言，是一套基于模式匹配的函数式求值系统，内置函数库大到离谱，惰性求值和代数化简规则的语义相当复杂。SymPy、Maxima、SageMath 早就存在，但它们走的是"另起一套语法，做类似的事"，没人碰 Wolfram Language 本身的语法和求值模型——难度摆在那，谁都清楚。
Woxi 选的是后者。这也是它跟前辈们最大的不同：赌的不是"我能做符号计算"，而是"我能让你原样搬 Wolfram 代码过来跑"。
如果这条路真的走通了，受益最直接的是学生和写轻量脚本的人——没预算买正版许可，又想用 Wolfram 语法的，多了个免费选项。很多学校因为许可证费用把 Mathematica 锁在少数机房电脑里，一个能在浏览器直接跑的免费替代，门槛肉眼可见地降低。
兼容到什么程度，现在说不清
这才是关键。Wolfram Language 的内置函数库、任意精度数值、模式匹配的完整边界行为，复杂到连 Wolfram Research 自己维护都要花几十年。官网展示的示例是 Map、Factorize、Permutations 这些教材里天天出现的经典用法——能跑，只说明基础覆盖没问题，离"语义完全一致"还差得远。
现在能查到的只是官网自己的产品介绍页，没有第三方跑分，没有社区实测反馈，也没找到 Hacker News 讨论帖里具体的 bug 报告或兼容性吐槽。
- 提醒.命令行提速、语法覆盖率这些说法目前都只有官方自述，没有第三方验证。
这不是苛求。任何重新实现专有软件的项目都会撞上这道墙——ReactOS 想复刻 Windows API，Ladybird 想复刻 Chromium 内核，走到现在都还在补边界情况，覆盖率永远追不完官方的迭代速度。Woxi 面对的 Wolfram Language，复杂度不比这两个低。
接下来该看什么
真正决定 Woxi 能走多远的，不是演练场好不好看，是三件还没答案的事：GitHub 上有没有真实贡献者持续修 bug、有没有人拿正版 Wolfram Engine 跑同一批测试案例做对比、以及用了 .nb 格式和"Wolfram Language reimplementation"这个说法，Wolfram Research 会不会有反应。这几条目前都是空白。
语法好搭，语义难通，画虎画皮难画骨。
《左传》里"其兴也勃焉，其亡也忽焉"常用来讲王朝，拿来看开源重写专有软件这条路也合适——首发热度来得快，能不能撑到覆盖率真正追上，才是这类项目的生死线。Woxi 现在刚冒头，故事讲得完整，细节还没人验证。