Question

在OO世界中，我有一个类（我们称之为“Suggestor”），它实现接近“策略模式”的东西，以在运行时提供不同的算法实现。作为学习Haskell的练习，我想重写一下。

实际的用例非常复杂，所以我将简单介绍一个简单的例子。

假设我有一个类Suggester，它接受一系列规则，并将每个规则作为过滤器应用于数据库结果列表。

每个规则都有三个阶段“构建查询”，“后查询过滤器”和“记分员”。我们最终会得到满足以下内容的界面

buildQuery :: Query -> Query
postQueryFilter :: [Record] -> [Record]
scorer :: [Record] -> [(Record, Int)]

Suggestor需要获取与此接口匹配的规则列表 - 在运行时动态 - 然后按顺序执行它们。必须首先在所有规则中运行buildQuery（），然后是postQueryFilter，然后是scorer。（即我不能只将一个规则的函数组合成一个函数）。

在scala我只是做

// No state, so a singleton `object` instead of a class is ok
object Rule1 extends Rule {
  def buildQuery ...
  def postQueryFilter ...
  def scorer ...
}

object Rule2 extends Rule { .... }

然后可以通过传递相关规则来初始化服务（在运行时根据用户输入定义）。

val suggester = new Suggester( List(Rule1, Rule2, Rule3) );

如果规则是单个函数，这很简单 - 只需传递一个函数列表。但是，由于每个规则实际上是三个函数，我需要以某种方式将它们组合在一起，所以我有多个实现来满足接口。

我的第一个想法是类型类，但是这些似乎不能满足我的需求 - 他们期望一个类型变量，并强制我的每个方法都必须使用它 - 他们没有。

No parameters for class `Rule`

我的第二个想法是将每个人放在一个haskell模块中，但由于模块不是“First Class”，我不能直接传递它们（当然它们不会强制执行接口）。

第三，我尝试创建一个记录类型来封装函数

data Rule = Rule { buildQuery :: Query -> Query, .... etc }

然后为每个人定义一个“规则”的实例。当它在每个模块中完成时，它很好地封装并且工作正常，但感觉就像一个黑客，我不确定这是否适合使用haskell中的记录？

tl; dr - 如何将一组函数封装在一起，以便我可以将它们作为匹配接口的实例传递，但实际上并不使用类型变量。

或者我是否完全从错误的心态出现？

Answer 1

在我看来，你的解决方案不是“黑客”，而是OO语言中的“战略模式”：只需要解决语言的限制，特别是在缺少，不安全或不方便的Lambdas /闭包/功能指针等，所以你需要一种“包装”才能让它“易于消化”。

“策略” 基本上是一个功能（可能附加了一些额外的数据）。但是如果一个函数真的是该语言的第一类成员 - 就像在Haskell中一样，则不需要将它隐藏在对象库中。

Answer 2

只需生成一个Rule类型

data Rule = Rule
  { buildQuery :: Query -> Query
  , postQueryFilter :: [Record] -> [Record]
  , scorer :: [Record] -> [(Record, Int)]
  }

并构建一个通用的应用程序方法 - 我假设这些通用的东西存在，因为这些Rules被设计为独立于SQL结果运行

applyRule :: Rule -> Results -> Results

最后，您可以根据需要随意实施任意数量的规则：只需导入Rule类型并创建适当的值即可。没有先验的理由在OO设置中为每个不同的规则提供自己的类型。

easyRule :: Rule
easyRule = Rule id id (\recs -> zip recs [1..])

upsideDownRule :: Rule
upsideDownRule = Rule reverse reverse (\recs -> zip recs [-1, -2..])

然后，如果您有Rule的列表，则可以按顺序应用它们

applyRules :: [Rule] -> Results -> Results
applyRules []     res = res
applyRules (r:rs) res = applyRules rs (applyRule r res)

实际上只是伪装的foldr

applyRules rs res = foldr applyRule res rs

foo :: Results -> Results
foo = applyRules [Some.Module.easyRule, Some.Other.Module.upsideDownRule]

Haskell中的“战略模式”

2 个答案: