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 -> Float 但

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

---