相关疑难解决方法(0)

我试图玩弄Haskell的类型,创建数据采取类型构造和具体类型(灵感来自这个).

这是我的kung.hs文件:

data Kung t a = Kung { field :: t a } deriving (Show, Eq)

val1 = Kung { field = [1,5] }

val2 = Kung { field =  Just 3 }

--val3 = Kung { field =  3 }

编译好并加载好:

*Main> :load C:\Test\Haskell\kung.hs
[1 of 1] Compiling Main             ( C:\Test\Haskell\kung.hs, interpreted )
Ok, one module loaded.
*Main> val1
Kung {field = [1,5]}
*Main> val2
Kung {field = Just 3}
*Main>

现在版本相同,但没有注释val3:

data Kung …