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类？

一本旧的(Davies)Haskell书在PreludeArray模块中显示了这一点,但我不再发现它了.

Answer 1

在该网页的情况下,:=不用作真实的运营商.将其读作"翻译为"或"同构为".