理解haskell中的“也许”

Question

假设我们有一个函数sqrt的示例，它为我们提供浮点数的平方根，但不会在负输入时中止。那么sqrt的类型是什么。

我被告知答案是：

sqrt :: Maybe Float -> Float

然而，我不明白Maybe是做什么的，它仅仅意味着我们可以提供任何东西作为输入，还是意味着其他东西。

Answer 1

我撤回了我的投票结果，尽管另一个问题的最高答案或多或少地回答了这个问题，但它本身并不是一个真正的骗局。

首先，让我们谈谈参数化类型。

如果我说（语言不可知论）

Array<String>

我们有一个字符串数组。字符串数组["foo"，"bar"]的类型为Array

也许也是这样工作的，您有一个（在本例中）a也许Float可以是Just Float或没什么。现在，就像编译器不会让您将整数列表传递给接受int的函数一样，它不会让您将也许T传递给接受T类型的函数。您必须处理没什么的情况，类型系统防止遗漏处理失败情况。所以你的sqrt函数应该有签名

sqrt :: Float -> Maybe Float

为了反映这样一个事实，尽管您可以传入任何浮点数，但如果参数为负，结果可能不存在。

*为了讨论的目的。

Answer 2

也许是一个具有简单定义的类型构造函数：

data Maybe a 
    = Just a  
    | Nothing

此语法读作“创建一个名为也许的新类型构造函数，它接受一个类型参数。它有两个值构造函数：Just，它接受a类型的单个参数，或无。”

当我们编写的函数接受一个可能参数时，我们可以对其进行模式匹配来处理这两种情况。

foo :: Maybe String -> String
foo (Just str) = str
foo Nothing = "There was nothing!"

如果一个函数没有一个对所有输入都有意义的定义，那么我们可以使用或者来说明这一点。例如，前奏曲中的sqrt返回负值的NaN。我们可以编写一个不同的版本，返回也许：

import qualified Prelude
import Prelude hiding (sqrt)

sqrt :: Float -> Maybe Float
sqrt x
    | x < 0     = Nothing
    | otherwise = Just (Prelude.sqrt x)  

我们可能会将这种类型解读为“如果你给我一个浮点数，那么我可能会返回一个浮点数。”