haskell := operator?

Question

http://www.haskell.org/haskellwiki/Memoization

显示这个:

  Map ()            b  := b
  Map (Either a a') b  := (Map a b, Map a' b)
  Map (a,a')        b  := Map a (Map a' b)

毫无疑问很简单，但我不认识语法，Google 和我都不知道“:=”运算符的作用。 :-)看起来像一个重载的构造函数定义，可能是针对 Assoc 类的？

一本旧的(Davies)Haskell 书在 PreludeArray 模块中展示了这一点，但我再也找不到了。

Answer 1

在该网页的情况下，:= 不用作真正的运算符。将其读作“翻译为”或“同构于”。