[论文解读] The Sketch of a Polymorphic Symphony

Ralf Laemmel|ArXiv.org|Apr 8, 2002

Logic, programming, and type systems参考文献 23被引用 6

一句话总结

本文提出了一种简洁、类型安全且高度参数化的 Haskell 功能策略模型，利用一等多态性和对构造器应用的通用折叠组合子，统一了均匀遍历与类型特定遍历。其主要贡献在于构建了一个统一框架，结合了参数多态、内省多态、多态类型和特定多态，以实现对遍历流程与结构具有细粒度控制的复杂遍历方案。

ABSTRACT

In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific behaviour. In the present paper, we give a detailed description of one particular Haskell-based model of functional strategies. This model is characterised as follows. Firstly, we employ first-class polymorphism as a form of second-order polymorphism as for the mere types of functional strategies. Secondly, we use an encoding scheme of run-time type case for mixing uniform and type-specific behaviour. Thirdly, we base all traversal on a fundamental combinator for folding over constructor applications. Using this model, we capture common strategic traversal schemes in a highly parameterised style. We study two original forms of parameterisation. Firstly, we design parameters for the specific control-flow, data-flow and traversal characteristics of more concrete traversal schemes. Secondly, we use overloading to postpone commitment to a specific type scheme of traversal. The resulting portfolio of traversal schemes can be regarded as a challenging benchmark for setups for typed generic programming. The way we develop the model and the suite of traversal schemes, it becomes clear that parameterised + typed strategic programming is best viewed as a potent combination of certain bits of parametric, intensional, polytypic, and ad-hoc polymorphism.

研究动机与目标

• 开发一个统一、简洁且表达力强的功能策略模型，支持均匀遍历与类型特定遍历。
• 在不牺牲灵活性或表达力的前提下，实现遍历方案的静态类型安全。
• 通过组合子实现对遍历控制流、数据流和结构特性的深度参数化。
• 支持重载，推迟对特定遍历类型方案的承诺，从而增强可重用性。
• 通过表达丰富多样的遍历方案组合，为有类型通用编程提供基准。

提出的方法

• 使用一等多态性，将功能策略表示为对类型的二阶多态函数。
• 通过类型统一函数（TUs）对运行时类型模式匹配进行编码，以混合均匀行为与类型特定行为。
• 定义一个用于遍历构造器应用的基本折叠组合子，作为所有遍历方案的基础。
• 使用组合子如 choice 和 adhoc，且不承诺特定类型方案，从而实现在不同遍历模式间的重用。
• 设计路径约束遍历方案（例如 belowlist、abovelist），通过 MonadPlus 组合谓词与处理器，实现成功/失败语义。
• 对遍历类型方案进行重载，以支持变换、分析与选择，而无需事先确定处理器的目的。

实验结果

研究问题

• RQ1 如何建模功能策略，使其统一参数多态、内省多态、多态类型和特定多态？
• RQ2 一个针对构造器应用的单一通用折叠组合子，能否替代一组复杂的原始遍历组合子？
• RQ3 遍历方案如何不仅对数据，而且对控制流和遍历特性进行参数化？
• RQ4 重载在推迟对特定遍历类型方案承诺方面起什么作用？
• RQ5 在支持对任意递归数据类型进行灵活、可组合遍历的同时，静态类型安全能在多大程度上得以保持？

主要发现

• 所提出的模型通过用单一、通用的构造器应用折叠替代原始遍历组合子，减少了对开放式原始组合子列表的需求。
• 策略的类型方案通过单一类型构造器统一，使得组合子如 choice 和 adhoc 不需承诺类型方案即可使用。
• 路径约束遍历方案 belowlist 成功解决了示例中的盲点，正确从一个深度嵌套的 SortB 项中提取出 42。
• 使用 MonadPlus 表达谓词，使得成功/失败的编码更加简洁且类型安全，从而支持复杂的路径查找逻辑。
• 该框架支持丰富多样的遍历方案，可通过组合子组合与切换，实现对遍历顺序和行为的细粒度控制。
• 该模型表明，有类型的、参数化的战略编程最好理解为参数多态、内省多态、多态类型和特定多态的协同作用。