什么是也许类型，它是如何工作的？

Question

我刚刚开始在Haskell中编程，我遇到了以下定义：

calculate :: Float -> Float -> Maybe Float

Answer 1

可能是一种普通的数据类型，定义如下：

data Maybe a = Just a | Nothing

因此有两种可能性：或者将类型为a的值定义为仅为a（比如仅为3），或者如果查询没有答案，则定义为无。

它被定义为定义非总体函数输出的一种方式。

例如：假设您要定义sqrt。平方根仅为正整数定义，因此您可以将sqrt定义为：

sqrt x | x >= 0 = Just $ ...
       | otherwise = Nothing

使用...一种计算x平方根的方法。

有些人将Nothing与大多数编程语言中的“空指针”进行比较。默认情况下，通过添加Nothing，您没有为您定义的数据类型实现空指针（如果实现了，所有这些“空”看起来都不同），您有一个通用的空指针。

因此，可以使用Maybe来表示可能无法计算输出。当然，在小于0的值上也可能出现错误：

sqrt x | x >= 0 = Just $ ...
       | otherwise = error "The value must be larger or equal to 0"

但是错误通常不会在类型签名中提及，如果不考虑它们，编译器也不会有任何问题。Haskell也在转向total函数：最好总是尝试至少为所有可能的输入返回一个值（例如Nothing）。

如果您以后想使用的结果，也许是，例如您需要编写：

succMaybe :: Maybe Int -> Maybe Int
succMaybe (Just x) = Just (x+1)
succMaybe _ = Nothing

但是，通过为第一种情况编写，，你不知何故警告自己，可能什么都不会发生。您还可以通过引入一个“默认”值来摆脱Maybe：

justOrDefault :: a -> Maybe a -> a
justOrDefault _ (Just x) = x
justOrDefault d _ = d

内置的maybe函数（注意小写字母）结合了前面两个函数：

maybe :: b -> (a -> b) -> Maybe a -> b
maybe _ f (Just x) = f x
maybe z _ Nothing  = z

所以你指定一个b（默认值）和一个函数（a-

使用也许会很困难，因为您总是需要考虑无的情况，为了简化这一点，您可以使用也许单子。

Tom Schrijvers还展示了也许是类型代数中的后继函数：您向类型添加一个额外的值（要么是加法，（，）是乘法的类型代数等价物）。