Haskell，缺少随附的绑定(bind)吗？

Question

这是我的程序(我意识到它不是一个完全有用的程序):

data Temp a = Something1 | Something2 deriving (Show,Eq,Ord)

length :: Temp a -> Integer
Something1 = 0
Something2 = 1

我不断收到错误消息:

Haskellfile.lhs:3:3:
“长度”的类型签名缺少随附的绑定(bind)
(您不能为导入的值提供类型签名)

有人可以帮忙吗？

Answer 1

data Temp a = Something1 | Something2 deriving (Show,Eq,Ord)

length :: Temp a -> Integer
length Something1 = 0
length Something2 = 1

最好改 length到别的东西，以避免与前奏曲的长度发生冲突。如果你想使用你的长度作为“默认”，添加

import Prelude hiding (length)
import qualified Prelude

在开头，并使用 Prelude.length 引用 Prelude 的版本.不建议。

顺便说一句，如果你的 Temp不依赖于 a ，你可以考虑

data Temp = Something1 | Something2 deriving (Show,Eq,Ord)