Haskell unwrap 也许保持多态性

Question

Haskell 初学者又来了。如果我想解开 Maybe 类型并保持抽象，我会使用：

fUnwrap :: Maybe a -> a 
fUnwrap (Just n) = n 
fUnwrap Nothing = ???

无论我如何处理Nothing，编译器都会不停地唠叨要更具体地处理Nothing...你们能帮帮我吗？

Answer 1

这是合乎逻辑的。编译器预计a 类型的值，但这里没有您可以提供的值，因为a 可以是任何值（Bool、Int、[Int]、Maybe Int 等）。

这不是一个编程问题，它更像是一个设计问题：如果是Nothing，你想做什么？这里有一些选项：

1. 提供一个默认值，那么签名就是：

   fUnwrap :: a -> Maybe a -> a 
   fUnwrap _ (Just n) = n
   fUnwrap d Nothing = d

2. 如果是Nothing，我们会引发错误（我们可以这样做，既可以省略行，也可以明确引发错误，尽管在后一种情况下我们可以指定原因）：

   fUnwrap :: Maybe a -> a
   fUnwrap (Just n) = n
   fUnwrap Nothing = error "Nothing has no value"

3. 我们返回undefined:

   fUnwrap :: Maybe a -> a
   fUnwrap (Just n) = n
   fUnwrap Nothing = undefined

   undefined :: a 是一个在评估时会引发错误的对象。因此它是error 的一个特例，但我们会“推迟”评估，这样如果不需要该值，我们就不会收到错误。

但我个人认为第一种方法在这里是可取的，因为函数签名没有指定它们会引发错误，因此会导致代码可能会失败，而没有任何提示。

Maybe a 通常用作可能“失败”的计算的结果类型：如果成功，则返回 Just x（结果为 x），否则返回 Nothing。

您可以使用例如do 表示法从可能失败的计算链中构造Maybe a。例如：

foo :: Int -> Maybe Int
foo x = do
    y <- someComputation x
    otherComputation y

这里以someComputation, otherComputation :: Int -> Maybe Int为例。

Answer 2

这是不可能的，因为您的函数是编写的。由于该函数是纯函数，因此您不能返回 a，因为您唯一的输入是 Nothing。

Maybe 的美妙之处在于您无需“打开”它。您可以使用 fmap 函数仅在包装数据存在时对其进行操作，并且在 Nothing 情况下隐式不执行任何操作。