14

如何在函数式编程中使用多态性（使用动态类型系统）？

让我们考虑以下示例（首先在 OOP 中，然后在 FP 中）。该程序非常简单 - 有图形列表，我们需要绘制所有这些图形，不同的图形使用不同的绘图算法。

在 OOP 中可以轻松完成，但如何在 FP 中完成呢？特别是在具有动态类型系统的语言中，如 Scheme、Clojure（在编译时没有静态类型解析）？

我创建了简单的代码（实时版本http://tinkerbin.com/0C3y8D9Z，按“运行”按钮）。我在 FP 示例中使用了 if/else 开关，但这是一种非常糟糕的方法。如何更好地解决这样的问题？

示例是用 JavaScript 编写的，但这只是为了简单起见，如果看到任何具有动态类型系统的函数式语言的解决方案将会很有趣。

面向对象

var print = function(message){document.write(message + "\n<br/>")}

// Object Oriented Approach.
var circle = {
  draw: function(){print("drawing circle ...")}
}
var rectangle = {
  draw: function(){print("drawing rectangle ...")}
}

var objects = [circle, rectangle]
objects.forEach(function(o){
  o.draw()
})

FP

var print = function(message){document.write(message + "\n<br/>")}

// Functional Approach.
var circle = {type: 'Circle'}
var drawCircle = function(){print("drawing circle ...")}

var rectangle = {type: 'Rectangle'}
var drawRectangle = function(){print("drawing rectangle ...")}

var objects = [circle, rectangle]
objects.forEach(function(o){
  if(o.type == 'Circle') drawCircle(o)
  else if(o.type == 'Rectangle') drawRectangle(o)
  else throw new Error('unknown type!')
})
4

5 回答 5

15

您的“FP”版本不是我认为惯用的 FP 示例。在 FP 中，您经常使用变体和模式匹配，而在 OOP 中您将使用类和方法分派。特别是，您只有一个draw已经在内部进行调度的函数：

var circle = {type: 'Circle'}
var rectangle = {type: 'Rectangle'}

var draw = function(shape) {
  switch (shape.type) {
    case 'Circle': print("drawing circle ..."); break
    case 'Rectangle': print("drawing rectangle ..."); break
  }
}

var objects = [circle, rectangle]
objects.forEach(draw)

（当然，那是 JavaScript。在函数式语言中，您通常有更优雅和简洁的语法，例如：

draw `Circle    = print "drawing circle..."
draw `Rectangle = print "drawing rectangle..."

objects = [`Circle, `Rectangle]
foreach draw objects

)

现在，一般的 OO 爱好者会看到上面的代码并说：“但是 OO 解决方案是可扩展的，上面的不是！” 从某种意义上说，您可以轻松地将新形状添加到 OO 版本中，并且在添加时不必触及任何现有形状（或其draw功能），这是正确的。使用 FP 方式，您必须进入并扩展draw功能以及可能存在的所有其他操作。

但那些人没有看到的是，反过来也是正确的：FP 解决方案是可扩展的，而 OO 解决方案则不然！即，当您在现有形状上添加新操作时，您无需触及任何形状定义，也无需触及现有操作。您只需添加另一个函数，而使用 OO，您必须修改每个类或构造函数以包含新操作的实现。

也就是说，就模块化而言，这里存在二元论。沿着两个轴实现同时可扩展性的理想在文献中被称为“表达问题”，虽然存在各种解决方案（尤其是在函数式语言中），但它们通常更复杂。因此，在实践中，您通常希望决定一个维度，这取决于哪个维度更可能对手头的问题很重要。

功能版本还有其他优点。例如，它可以简单地扩展到多调度或更复杂的案例区分。在实现复杂的算法并且不同情况相互关联的情况下，它也是更可取的，这样您就希望将代码放在一个地方。根据经验，每当您开始在 OO 中使用访问者模式时，函数式解决方案会更合适（而且容易得多）。

一些进一步的说明：

  • 程序组织中的这种不同偏好并不是 FP 的中心思想。更重要的是不鼓励可变状态，并鼓励高度可重用的高阶抽象。

  • OO 社区有这样一种习惯，即为每个旧想法发明新的（流行的）词。它使用术语“多态性”（与其他地方的含义完全不同）就是一个这样的例子。它只是说能够在不静态知道被调用者是什么的情况下调用函数。您可以在函数是一等值的任何语言中做到这一点。从这个意义上说，您的 OO 解决方案也非常实用。

  • 您的问题与类型几乎没有关系。惯用的 OO 和惯用的 FP 解决方案都以无类型或有类型的语言工作。

于 2012-11-20T21:22:37.100 回答
4

在 Clojure 中，有一些协议提供与 Haskell 的类型类基本相同的临时多态性：

(defprotocol shape (draw [e]))
(defrecord circle [radius])
(defrecord rectangle [w h])
(extend-protocol shape 
    circle (draw [_] "I am a nice circle")
    rectangle (draw [_] "Can I haz cornerz please?"))

您还可以扩展现有类型：

(extend-protocol shape 
   String (draw [_] "I am not a shape, but who cares?"))

然后您可以将 draw 方法应用于某些实例

user=> (map draw [(->circle 1) (->rectangle 4 2) "foo"])
("I am a nice circle" "Can I haz cornerz please?" "I am not a shape, but who cares?")
于 2012-11-20T23:52:15.677 回答
4

OO 多态性不是函数式编程的一部分。然而，一些函数式语言（例如clojure）具有oo 多态性。

另一种多态是多方法

(def circle {:type :circle
             :radius 50})

(def rectangle {:type :rectangle
                :width 5
                :height 10})

(defmulti draw :type)

(defmethod draw :circle [object]
  (println "circle: radius = " (:radius object)))

(defmethod draw :rectangle [object]
  (println "rectangle: "
           "width = " (:width object)
           "height = " (:height object)))

(doseq [o [rectangle circle]] (draw o))
=> rectangle:  width =  5 height =  10
   circle: radius =  50

或者你可以使用功能风格

(defn circle [] (println "drawing circle ..."))
(defn rectangle [] (println "drawing rectangle ..."))

(def objects [circle rectangle])

(doseq [o objects] (o))
=> drawing circle ...
   drawing rectangle ...
于 2012-11-20T17:48:12.427 回答
2

在主要为函数式编程设计的几种语言中，有一些方法可以实现（即所谓的）多态性，尽管它们与您所说的多态性不同。例如，Haskell 有类型类（不要与经典 OOP 中的类混淆）：

class Draw a where
    draw :: a -> SomethingSomthing -- probably IO () for your example, btw

（Scala 有对象，也有明显平行甚至超越类型类的隐含对象。）然后您可以实现任意数量的独立类型，并使每个类型成为类型类的实例（再次独立，例如在完全不同的模块中）：

data Circle = Circle Point Double -- center, radius
data Rectangle = Rect Point Double Double -- center, height, width

instance Draw Circle where
    draw (Circle center radius) = …
instance Draw Rectangle where
    draw (Rect center height width) = …

如果您确实需要那种程度的可扩展性，这可能是您在 Haskell 中使用的。如果您有有限数量的案例属于一起（即您可以sealed在 OOP 替代方案中使用类），您可能会使用代数数据类型（见下文）。

另一种方法是做你的 JS 片段所做的事情（顺便说一下，如果你有任意数量的每种类型的对象，而不是你为实现多态性所做的事情，并且这个版本有同样的问题）：嵌入一个在每个对象中执行多态行为的函数。从某种意义上说，您的“OOP”片段已经可以使用了。

data Drawable = Drawable (Drawable -> SomethingSomething) {- other fields -}
draw (Drawable draw) = draw Drawable

尽管在静态语言中，这不允许不同的对象具有不同的属性。

与您提出的一堆条件相比，一个更可忍受的替代方案是与代数数据类型进行模式匹配，但仍然相似且具有相同的限制（很难添加另一个形状）。Stackoverflow 上的其他答案已经很好地解释了这些，我将用这种风格给出这个具体的例子：

data Shape = Circle {- see second snippet -}
           | Rect {- ditto -}

draw (Circle center radius) = …
draw (Rect center height width) = …
于 2012-11-20T17:08:17.250 回答
2

您的第一个代码示例确实没有任何非功能性。即使在不支持面向对象的语言中，您也可以做同样的事情。也就是说，您可以创建一个包含函数的记录/结构/映射，然后将它们放入您的列表中。

在您只有一个函数的简单示例中，您也可以直接创建一个函数列表，例如objects = [drawCircle, drawRectangle].

于 2012-11-20T17:01:44.820 回答