haskell - Haskell 中的 "fromJust"与 "Just ="

Question

这里是 Haskell 新手。我试图理解this来自 Haskell 的 diagrams 的示例图书馆。具体来说，有这样一行:

Just t = <thing>哪里<thing>类型为Maybe (Tree a)

我不明白这是在做什么。我知道我们需要从 Maybe 中获取值。我用

替换了该行代码

t = fromJust <thing>

而且它的工作原理是一样的。这两行之间有什么区别吗？谁能解释一下第一行在做什么吗？

Answer 1

fromJust 几乎相当于:

fromJust :: Maybe a -> a
fromJust (Just t) = t

请注意，它是相同的 pattern match !如果您确定您的 Maybe 将是 Just 而不是 Nothing，您可以使用 fromJust无需模式匹配即可获取其值，但在大多数情况下匹配更清晰，因此您在这里不需要它。