haskell - Haskell 中的 Int 和 Maybe Int 有区别吗？

Question

Int之间有区别吗？和一个 Maybe Int在 haskell ？如果有，我该如何转换 Maybe Int到 Int ?

Answer 1

是的，它们是不同的类型:有 Maybe Int可能是 Nothing或 Just Int ，其中 Int总是 Int .

也许在 Data.Maybe 中定义作为

data Maybe a = Just a | Nothing
     deriving (Eq, Ord)

并且应该在函数可能无法返回有效值时使用。看看函数 isJust , isNothing , 和 fromJust (使用 Hoogle ，Haskell API 搜索引擎)。

在您的功能中，您可以例如

case maybeValue of
  Just x     -> ... -- use x as value
  Nothing    -> ... -- erroneous case

或者，使用 fromMaybe (也来自 Data.Maybe )它采用默认值和 Maybe如果 Maybe 返回默认值是 Nothing ，否则为实际值。