haskellでは、+はデータ型定義の意味ですか？

これは、新しいデータ型の定義である：+：haskellでは、+はデータ型定義の意味ですか？

data Total a = Total a :+: Total a 
       |...

何をしないこのタイプの定義に意味ですか？

出典

2012-10-04 Sam

標準のHaskellでは無効です。これは奇妙なGHC拡張です:) – singpolyma

@singpolyma：標準です[Haskell 98構文]（http://www.haskell.org/onlinereport/syntax-iso.html）（_consym_ productionを参照）。結局のところ、リストの '：'コンストラクタはこれの特別なケースです。おそらくあなたは 'TypeOperators'を考えていたでしょうか？ – hammar

@hammarああ、うーん、私は 'TypeOperators'を考えていました。私はデータコンストラクタのための演算子を使用することが標準であることを知らなかった。それは非常に醜いです。通常は醜いものは拡張です:) – singpolyma

これは、インフィックス形式で書かれたデータコンストラクタです。 :で始まる場合、演算子をコンストラクタとして持つことができます。

出典

2012-10-04 18:12:57 Satvik

それを軽快に書くために、 '：'は大文字の記号です：D –

なぜですか？ – Sam

GHC 7.6のように、 'TypeOperators'拡張は全ての中置演算子を"大文字 "として扱うようになりました。（中置演算子を型変数として使用していた既存のコードを分解する...） –

haskellでは、+はデータ型定義の意味ですか？

答えて

関連する問題