Haskell：=运营商？

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)

毫无疑问这很简单，但我不认识语法，谷歌和我也不知道“：=”运算符是做什么的。 :-) 看起来像是一个重载的构造函数定义，也许对于Assoc类？

一本旧的（戴维斯）Haskell书在PreludeArray模块中显示了这一点，但我不再发现它了。

Answer 1

对于该网页，:=不用作真正的运营商。将其翻译为“翻译为”或“与...同构”。