value-constructor

1熱

1答えて

値コンストラクタで宣言された型がHaskell型でないのはなぜですか？

私は次の値コンストラクタがあるとします。 data Shape = Circle Float Float Float | Rectangle Float Float Float Float 今、私は実行することができます： ghci> :t Circle Circle :: Float -> Float -> Float -> Shape 今、私は型宣言 surface :: Shape

haskell type-declaration value-constructor 2016-06-14

---