是否存在支持APL式多参数函数组合模式的Haskell库？

可用库选项 #

• Control.Arrow（标准库）：虽非专门对标APL，但提供的箭头组合器可覆盖部分多参数函数组合场景，比如first/second用于单参数映射，(***)/(&&&)用于多输入函数的组合，能间接实现类似APL的部分默编程逻辑。
• Data.Function（标准库）：包含(&)（反向应用运算符，类似APL的右结合应用逻辑）、on（定义为on f g = \x y -> f (g x) (g y)），对应APL中常见的“双参数先映射再组合”模式。
• tacit库：专为Haskell设计的默编程（无点）库，完全对标APL/J/K的组合风格，提供了大量预定义组合器：
  • 你自定义的\f g x y -> f (g x y)模式，对应库中的atop组合器；
  • 还有针对不同参数位置、多函数组合的工具，直接实现APL式的简洁无点编程。
• pointfree工具：虽不是库，但可自动将带lambda的代码转换为无点形式，辅助探索组合方式，不过生成的代码更偏向Haskell原生风格，而非APL式。

命名与符号约定 #

• 自定义组合器时：
  • 描述性命名：推荐用atop、composeUnaryWithBinary这类名称，比(...)或_1_atop_2更具可读性，团队协作更友好；
  • 符号命名：若偏好简洁符号，可自定义(∘∘)或(⊚)这类Unicode符号（对齐APL的∘），但要注意团队对非ASCII符号的接受度。
• 标准库中没有统一的APL式组合符号约定，这是因为Haskell更侧重类型安全与显式性，而APL的组合依赖隐式维度适配，两者底层设计逻辑存在差异，因此标准库未直接照搬APL的组合体系。

实用建议 #

• 个人项目中，可继续使用自己定义的组合器（如(...)），只要自己觉得清晰即可；
• 若追求生态支持和可读性，优先选择tacit库，它的设计目标就是在Haskell中实现APL风格的默编程，组合器语义完全对齐APL常见模式；
• 简单场景下，直接使用lambda表达式反而比(.)(.)(.)这类晦涩的无点写法更易读，无需强行追求无点风格。

内容的提问来源于stack exchange，提问作者j_v_wow_d