如何获取类型的默认值？

Question

我正在尝试在 Haskell 中构建图形 ADT。 我不知道如何获取泛型类型的默认值。

type Node = Int
type Element a = (Node, a, [Int]) --Node: ID; a: generic value; [Int]: adjancent nodes' IDs
type Graph a = [Element a]
insNode :: Graph a -> Node -> Graph a
insNode g n = g ++ [(n,?,[])]

我必须写什么来代替？为了获得类型a的默认值？ 非常感谢！

Answer 1

你不能。没有办法神奇地创建任何类型的值。

有undefined :: a，但如果评估过这会使你的程序崩溃。相反，我建议要么

type Element a = (Node, Maybe a, [Int]) -- It's optional to have a value

或

insNode :: a -> Node -> Graph a -> Graph a
-- Optional idea, use `Data.Default` to ease the typing burden
defInsNode :: Def a => Node -> Graph a -> Graph a
defInsNode = insNode def

使用第一个选项，您只需将Nothing 粘贴在其中（这就是您所拥有的），或者使用第二个选项，您只需要用户提供一个值。

最后是样式注释，而不是元组的同义词，我建议使用

type Node = Int
data Element a = Element { node :: Node
                         , val  :: Maybe a
                         , edges :: [Node]}
               deriving (Eq, Show)

现在你用Element node val edges 构造这些Elements 并且可以以几乎相同的方式进行模式匹配。超过 2 个元素的元组通常是错误的方法。