Mathematica 14
Mathematica 14 重新引发了人们对 Wolfram 旗舰计算语言的评价：它作为一个独特而强大的符号数学、可视化和“开箱即用”科学计算工具，既出色又带有鲜明的个性。用户称赞它深度集成的标准库、顶级的计算机代数能力，以及沿用已久的 notebook 界面，尤其是在物理和数学密集型研究中。与此同时，许多人也指出，它陡峭的学习曲线、内部机制不透明、许可成本和闭源模式，以及其创造者极具争议的个人形象，都是限制其相较于 Python 或 R 等开放生态更广泛采用的因素。
使用场景与用户
- 据报告，在理论/高能物理和一些数学研究生项目中使用很重，主要用于符号运算、积分和微分方程。
- 也用于计算物理、大规模优化、金融（例如 FX 交易台），以及学术上“与数学相邻”的领域。
- 受欢迎于业余折腾、谜题寻猎、一次性数据和图像处理、绘图，以及作为一个性能过剩的计算器。
优势与独特能力
- 普遍被认为在符号计算方面属于最佳之一，尤其是在 SymPy/Maxima/Maple 失败或用起来很痛苦时。
- 功能强大的 CAS，拥有广泛的库：积分、DSolve、Groebner 基、优化、SAT/LP 求解、统计、群论等。
- 强大的可视化和交互式 notebook 工作流；参数化、3D 和探索式绘图都很容易。
- “开箱即用”特性很强，拥有大而统一的标准库，并能内置访问外部数据（例如天气、金融、对象数据）。
- 文档质量好，带有示例；数值算法的自动选择通常能“正常工作”。
弱点与痛点
- 学习曲线陡峭，语言风格也很特殊；许多人形容经常会有“WTF”时刻。
- 像黑盒：
Simplify/Integrate之类的函数可能卡住或爆炸，但无法看到内部步骤。 - 臃肿且启动慢；做简单任务也显得沉重；状态管理和重置环境都比较别扭。
- 相比 Python/R，不太适合大型系统或通用编程；第三方生态也有限。
语言设计、类型与语义
- 核心是基于规则的项重写系统（万物皆表达式），概念上类似 Lisp，但面向符号数学。
- 没有真正的类型系统；有人通过模式匹配和谓词来模拟类型，但这很临时，而且很少被一致地使用。
- 讨论指出，要设计一个能覆盖 Mathematica 多态、符号化操作的静态类型系统很难。
许可、访问与替代方案
- 费用和许可（内核限制、机器限制、联网检查）是主要阻碍；人们也担心把时间投入到专有工具中。
- 提到的免费或更便宜的替代品：SymPy、Maxima/wxMaxima、Maple、Mathics；它们通常在符号能力上更弱或不够精致。
- 免费途径：Raspberry Pi 套件、免费 Wolfram Engine、基础 Wolfram Cloud 账户。
UI 与元讨论
- Notebook 界面受到好评；也有人讨论其历史优先性与 Mathcad 等更早系统之间的关系。
- 有些人希望工作流更接近主流编码工具/编辑器。
- 线程中反复出现对创建者自我的争论；版主敦促大家关注技术/内容方面，而不是个人。