Haskell新手在这里。我正在尝试理解 Haskell 的 diagrams 库中的 this 示例。具体来说，有这样一行:Just t = <thing> 其中 <thing> 是 Maybe (Tree a) 类型
我不明白这是在做什么。我知道我们需要从 Maybe 中获取值。我用那行代码替换了t = fromJust <thing>
它的工作原理是一样的。这两行之间有什么区别吗，谁能解释一下第一行在做什么？
最佳答案
fromJust 几乎等同于:
fromJust :: Maybe a -> a
fromJust (Just t) = t
请注意，这是相同的pattern match!如果你确定你的
Maybe 将是一个 Just 而不是 Nothing ，你可以使用 fromJust 来获取它的值而不需要模式匹配，但是在大多数情况下匹配更清晰，所以你在这里不需要它。