在数组编程语言的历史长河中，APL（Array Programming Language）自 1960 年代诞生以来，始终以其独特的符号系统和强大的数组操作能力著称。然而，传统 APL 的一个核心特征 —— 函数的双重元数（monadic 与 dyadic 调用）—— 既是其表达力的来源，也是学习和理解的障碍。FIXAPL 作为一款基于浏览器的 APL 方言解释器，提出了一种激进的解决方案：固定 arity 函数设计。本文将从技术实现角度，深入解析这一设计选择背后的工程考量，并追溯其历史渊源。
传统 APL 的元数重载问题
在经典 APL 语法中，几乎所有函数都可以以两种方式调用：单目（monadic）形式接受一个参数，双目（dyadic）形式接受两个参数。以加法符号「+」为例，单目形式执行取负运算，而双目形式执行加法。这种设计虽然赋予了符号多重含义，提高了代码的紧凑性，但也带来了显著的认知负担。Marshall Lochbaum 在 BQN 语言的评论文章中指出，某些符号配对显得自然流畅，而另一些则令人困惑不已。例如，取反「-」与减法的语义差异需要开发者时刻保持警惕。
更为关键的是，这种元数重载机制限制了隐式编程（tacit programming）的发展空间。在 Uiua 等现代语言中，固定 arity 允许修饰符（modifiers）根据操作数的元数表现不同行为，这是 APL 传统语法根本无法实现的能力。传统 APL 能做到的最好程度，只是让结果函数根据被单目还是双目调用而具有不同含义，这种限制性远远不够。
FIXAPL 的固定 arity 设计
FIXAPL 的核心创新在于其彻底贯彻固定 arity 原则：每个函数只有一种确定的调用方式，这一特性被深植于语言语法之中。在 FIXAPL 中，函数被明确区分为单目函数和双目函数，单目函数仅接受右参数，双目函数同时接受左右参数。这种设计从根本上消除了元数歧义。
固定 arity 为隐式编程带来了前所未有的灵活性。以火车（trains）为例 —— 这是一种将多个函数组合成复合表达式的语法结构 —— 传统 APL 的火车由连续的 fork 操作构成，形式如「F G H」表示 G 函数以 F 和 H 分别作用于左右参数的结果作为输入。然而，当开发者希望在火车内部包含单目函数应用时，传统语法束手无策。自 J 语言在 1990 年代引入火车以来，语言设计者们不断尝试解决这一难题：J 的 cap「[:」和 BQN 的 Nothing「・」提供了在火车中插入 atop 的简洁方式，而 Kap 则选择用完全由 atop 组成的火车取代 fork 火车。
FIXAPL 采用了一种更为优雅的解决方案：无需引入额外语法，仅凭固定 arity 就能自动区分 fork 和 atop 模式。当火车中出现单目函数时，它自然地作为 atop 被解析；当出现双目函数时，则形成 fork 结构。这意味着火车可以同时包含值、单目函数、双目函数，组合方式更加自由。值得注意的是，火车最右侧可以是值，此时整个表达式仍然解析为函数而非具体值 —— 这是传统 APL 火车无法实现的能力。
FIXAPL 的这一设计灵感部分来源于 Jelly 语言，该语言采用了类似的固定 arity 变体。
浏览器端的实现架构
FIXAPL 作为一款可在浏览器中运行的 REPL 环境，其技术栈选择反映了现代 Web 开发的最佳实践。项目采用 TypeScript 作为主要开发语言，利用 Node.js 生态构建命令行工具，同时通过 Web 技术实现交互式前端界面。
从技术实现角度，数组编程语言的解释器需要处理几个关键挑战：首先是特殊符号的解析，APL 家族语言使用大量 Unicode 符号，解析器需要正确识别这些字符并将其映射为内部操作码；其次是多维数组的高效存储与操作，FIXAPL 需要实现完整的数组操作语义，包括 reshape、reduce、scan 等核心原语；最后是隐式代码的编译优化，火车语法的解析涉及复杂的模式匹配，需要将嵌套表达式转换为高效的执行计划。
FIXAPL 提供了在线 REPL 和 npm 包两种使用方式。在线版本支持符号网格显示，悬停可查看符号名称、别名、语法角色和键盘输入方式。开发者可以通过点击、输入别名或使用 Tab 前缀键序列输入符号。命令行版本则适合本地开发，提供了完整的解释器功能。
与现代 APL 方言的对比
FIXAPL 的设计并非孤例，而是 APL 家族语言演进趋势的体现。BQN 作为目前最受关注的现代 APL 方言，由 Marshall Lochbaum 开发，强调一致的语法设计和丰富的内置原语。Uiua 则专注于隐式编程风格，试图在保持数组导向特性的同时提供更清晰的组合子系统。这些语言共同的方向是：在保留 APL 强大数组操作能力的同时，通过重新设计语法减少学习曲线和认知负担。
FIXAPL 的差异化定位在于：它试图在传统 APL 的可读性与现代隐式编程的表达力之间寻找平衡点。固定 arity 设计既简化了语法复杂度，又为火车等高级组合模式提供了更强大的表达能力。当前版本号为 0.0.3，仍处于 beta 阶段，部分原语尚未实现，文档也在持续完善中。
技术实践与工程启示
对于编译器开发者而言，FIXAPL 的设计提供了几点值得思考的启示。其一，语法设计中的正交性原则 —— 将函数的元数固定化虽然增加了语言的学习内容，但显著降低了运行时解析的复杂性，使得代码分析和优化更为直接。其二，隐式编程的工程价值 —— 当函数组合成为一等公民时，代码的简洁性和表达力可以大幅提升，但需要良好的类型系统和错误提示作为配套。其三，Web 作为现代语言平台的可行性 ——JavaScript 生态的成熟使得浏览器成为语言原型测试的理想场所，FIXAPL 的在线 REPL 极大降低了用户的尝试门槛。
FIXAPL 的探索仍在继续。随着更多原语的实现和文档的完善，这款年轻的 APL 方言将为数组编程语言的演进提供有价值的实践经验。其固定 arity 的设计理念，或许会成为未来语言设计的重要参考方向。
参考资料
- FIXAPL 官方网站及文档：https://fixapl.netlify.app
- BQN 语言关于元数重载的评论：https://mlochbaum.github.io/BQN/commentary/overload.html
- APL 语言维基百科历史概述：https://en.wikipedia.org/wiki/APL_(programming_language)