haskell - 在 Haskell 中返回某种类型的空对象

Question

这是我正在尝试做的事情:

justExpose :: Maybe a -> a
justExpose (Just x) = x
justExpose Nothing = -- an empty object of type a

有什么想法吗？

Answer 1

如果您的类型 a 具有幺半群结构，那么您可以使用:

import Data.Monoid

justExpose :: Monoid a => Maybe a -> a
justExpose (Just x) = x
justExpose Nothing = mempty

一些例子:

λ> let x = Nothing :: Maybe (Sum Int)
λ> justExpose x
Sum {getSum = 0}
λ> justExpose (Just [])
[]

但您应该注意，Maybe 类型在很多情况下都非常有用。