ハスケル：=演算子？

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

このウェブページの場合、:=は実際の演算子として使用されません。 「翻訳する」または「同形」と読む。