为什么在Haskell中没有== (纯Nothing)返回False？
在Haskell中，没有== (纯Nothing)返回False的原因是因为在Haskell中，==操作符用于比较两个值是否相等，而Nothing是一个特殊的值，它表示一个可能不存在的值或者空值。在Haskell中，Nothing是一个多态类型，可以用于表示不同类型的空值。
在Haskell中，==操作符的行为是根据类型的实现来确定的。对于Maybe类型，它的实现是通过比较Maybe值的内容来判断它们是否相等。对于Maybe类型的值，如果两个值都是Nothing，那么它们被认为是相等的。这是因为Nothing表示一个空值，它没有内容，因此两个空值之间是相等的。
这种设计决策是为了遵循Haskell中的类型安全和纯函数的原则。在Haskell中，函数的行为应该只依赖于输入的值，而不依赖于外部状态或者副作用。因此，对于Maybe类型的比较，如果两个值都是Nothing，它们应该被认为是相等的，而不是返回False。
在Haskell中，如果想要判断一个Maybe类型的值是否为Nothing，可以使用模式匹配或者使用Maybe的辅助函数来实现。例如，可以使用case语句来匹配Maybe值的不同情况，或者使用isNothing函数来判断一个Maybe值是否为Nothing。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云函数（云原生、服务器运维）：https://cloud.tencent.com/product/scf
- 腾讯云数据库（数据库）：https://cloud.tencent.com/product/cdb
- 腾讯云CDN（网络通信）：https://cloud.tencent.com/product/cdn
- 腾讯云安全产品（网络安全）：https://cloud.tencent.com/product/saf
- 腾讯云音视频处理（音视频、多媒体处理）：https://cloud.tencent.com/product/mps
- 腾讯云人工智能（人工智能）：https://cloud.tencent.com/product/ai
- 腾讯云物联网（物联网）：https://cloud.tencent.com/product/iotexplorer
- 腾讯云移动开发（移动开发）：https://cloud.tencent.com/product/mobdev
- 腾讯云对象存储（存储）：https://cloud.tencent.com/product/cos
- 腾讯云区块链（区块链）：https://cloud.tencent.com/product/baas
- 腾讯云虚拟专用网络（网络通信）：https://cloud.tencent.com/product/vpc
- 腾讯云云服务器（服务器运维）：https://cloud.tencent.com/product/cvm
请注意，以上链接仅供参考，具体的产品选择应根据实际需求和情况进行评估和决策。
相关·内容
1回答
似乎我理解错了，但我尝试了以下方法： GHCi, version 8.6.5=> True=> Falsepure Nothing
=> Nothing 你能解释一下这里发生了什么吗？
浏览 20提问于2020-08-04得票数 6
回答已采纳
1回答
在JS中函数编程中执行多个实例方法的等效性是什么？
javascript、typescript、functional-programming
假设我在JS中有一个类，其类型如下所示： private x: numberexecute函数返回一个字符串. }，因为execute同时做两
浏览 0提问于2021-04-14得票数 2
回答已采纳
3回答
Haskell中的print是纯函数吗？
haskell、io、monads、io-monad、pure-function
Haskell中的print是纯函数吗?为什么不是？我认为不是，因为它并不总是返回与纯函数应该返回的值相同的值。
浏览 11提问于2017-11-17得票数 7
2回答
定义和捕获异常
exception、haskell
我仍然在掌握haskell的窍门，并且正在尝试构建我的第一个“真正的”编码项目，也就是一个我将要包括测试、编写文档等的项目。我对haskell非常陌生，我知道我对必要的语言没有太多的了解，所以我想要做的一切都是可以立即实现的，但这是一种想法，所以完成的过程需要我接触语言的大部分主要部分。无论如何，我现在面临的问题是在语言中抛出和捕获异常，我理解的一些事情可以用非常不同的方法来完成。exitFailure
因此，我想我的两个问题是：( a)处理程序的类型(第61行错误)出了什么问题，以及( b)如何正确设置
浏览 0提问于2014-04-01得票数 4
回答已采纳
1回答
函数结果的模式匹配
haskell、pattern-matching
我试图对scala上的函数结果进行匹配，如下所示case true => "true"} res <- case (validate (read number::Int)) of (False) -> &quo
浏览 0提问于2016-08-16得票数 0
回答已采纳
2回答
Haskell中的Nothing构造函数有什么好处？
functional-programming、haskell
我对Haskell还不熟悉，而且我对Nothing构造函数并不买账。这听起来就像又一次无声的失败，会让人头痛不已。抛出一个错误似乎更有用，所以我会知道发生了什么。
为什么我在这里错了？
浏览 0提问于2012-11-20得票数 4
回答已采纳
1回答
Haskell -将字符串输入保存到列表中
list、loops、haskell、input、io
我是一个Haskell初学者，我正在为一个项目做一个小文件，它应该接受两个人组的交互数据的输入，并将其保存到列表中，以便在结束时输出。++ show (inputs))
parseInput input = if input == "stop" then NothinggetUserInputs :: IO [String] input <- getLine
case parse
浏览 0提问于2020-08-04得票数 1
5回答
处理流，就像monad一样
javascript、haskell、rxjs5
map(...) .subscribe((predicate) => console.log(predicate))(Just 3) >>= (\_ -> J
浏览 0提问于2017-10-09得票数 0
1回答
Haskell-src-exts包的示例
parsing、haskell、haskell-src-exts
我正在与Haskell合作，我想为这门语言构建一个类型检查器。为此，我需要一种方法来解析它，我知道Haskell-src-exts非常适合这项工作。然而，我一点也不知道这个包是如何工作的；我已经尝试在互联网上找到一些例子/教程，但没有任何结果。有谁可以帮我？有没有人知道一些教程，或者可以给我推荐一本书，里面有关于这个包的例子？
浏览 8提问于2020-10-23得票数 1
回答已采纳
1回答
为什么在整数除法中使用应用函子比单数差呢？
haskell、functional-programming
我正在阅读Graham在Haskell中的编程，我对下面概述的思想流程感到困惑。他使用下面的示例来激发使用monads，方法是显示在返回类型为Maybe的除法操作中应用函子的缺点，以处理错误大小写，指示可能的除法为零。(类似于Scala中的flatten或Haskell中的join )。这里到底有什么问题？不管x,y是否是Just(s)/Nothing(s)，safediv似乎都会正确地进行评估--这里唯一
浏览 1提问于2020-03-04得票数 6
回答已采纳
5回答
为什么Nothing >>仅3在Haskell中就什么都不是？
haskell、monads
Haskell中>>函数的签名如下：默认的实现是：这样，我就知道>>函数总是返回其右参数，而不管左参数的值如何那么，为什么Nothing >> Just 3等于Nothing？它不应该返回Just 3，因为这是右边参数的值吗？我知道任何Just值在与Not
浏览 3提问于2014-04-17得票数 7
回答已采纳
1回答
是否可以在Haskell中创建一个函数，该函数返回数据类型的构造函数列表？
haskell、functional-programming、dynamic-programming、template-haskell
是否可以在Haskell中创建一个函数，该函数返回数据类型的构造函数列表？它应该是这样的：[True, False][Nothing, Just]
浏览 2提问于2015-05-22得票数 2
回答已采纳
2回答
如何将这个如果-然后-否则的构造更改为使用模式匹配或/和保护的构造？
list、function、haskell、pattern-matching
我得到了以下练习(几个链接中就有一个链接在一起，用于打印一张表格并在其中进行选择)：
编写函数select :：→字段→表→表，如果给定列名和字段值，则只从表中选择在给定列中具有给定字段值的行。如果给定列不存在于表中，则表的返回应保持不变。(提示:使用函数(!!)、elemIndex、filter和可能。)
浏览 4提问于2021-09-17得票数 1
回答已采纳
1回答
Haskell的回忆录
haskell、functional-programming、lazy-evaluation、memoization、pure-function
F fib(n)：如果n< 2:返回1返回fib(n-1) + fib(n-2)fib_memo = {} def (N)：如果n< 2:返回1如果不是fib_memo.has_key(n)：fib_memon = fib(n-1) + fib(n-2)返回fib_memon
这种回忆录实现技术在许多编程语言中得到了广泛的应用，但由于Haskell是纯的，我们不想仅仅为了回忆录函数而引入杂质，所以不能直接应用于Haskell
浏览 5提问于2020-07-04得票数 2
1回答
GTK:如何抓取对话框/启动窗口的键盘输入，从而使键盘输入工作在窗口以外的区域？
gtk、gtk3、gdk
但是，在主窗口调用showAll之后，我正在运行这个程序。为什么看不见？ Gdk.KEY_Escape -> True <$ Gtk.windowClose window
_ -> pure False@Gdk.Cursor) event <e
浏览 12提问于2022-05-11得票数 0
回答已采纳
1回答
Haskell函数的简单实现比“更聪明”的解决方案更快？
performance、haskell、lazy-evaluation
因此，我是Haskell的新手，我正在试图弄清楚为什么我的简单实现实际上比我认为的更聪明的解决方案更快。我正在尝试编写一个函数，该函数在给定String的情况下将返回一个Bool，该not指示字符串是否使用一个且恰好使用一个元音。然后，我使用nub函数进行另一次遍历，从过滤后的列表中删除重复项，并查看列表中是否恰好有一个元音。因此，在最坏的情况下，此解决方案将使用O(n)内存和时间，因为它必须为过滤列表分配内存。[] Nothing = False
s
浏览 0提问于2016-03-24得票数 0
2回答
当使用具有保证值的find时，正确的解决方案是什么？
haskell、functional-programming、proof-of-correctness
在Haskell中，find被设计为一个可能的值，因为当扫描一个列表寻找与谓词匹配的元素时，它可能会失败。这里的find显然在每种情况下都会找到一个值，假设我们只命中大于2的整数。如果一个数不是素数，那么它在无穷大的列表2中有一个因子。但是当然，Haskell不知道这一点，并且仍然会抱怨A可能正在被使用。泡沫可能一路上升，并将这些因素作为可能的列表返回。以某种方式告诉哈斯克尔：“听着，数学检验，这是安全的，相信我。”
1和2很难闻，3很麻烦，并将失败状态添加到它不应该存
浏览 9提问于2022-07-27得票数 3
回答已采纳
2回答
为什么` `Applicative Maybe`的`pure`定义为`pure`= Just`，而忽略`Nothing`？
haskell、applicative
在中，Applicative Maybe定义为： pure = Just根据这个定义，我期望Prelude> Just NothingJust NothingPrelude> pure
浏览 0提问于2018-10-27得票数 2
4回答
在纯函数式语言中，is data (字符串、整数、浮点数..)也只是函数吗？
functional-programming、lambda-calculus、purely-functional
我考虑的是像Ruby这样的纯面向对象语言，在这些语言中，包括数字、整数、浮点数和字符串在内的所有内容都是对象。这对纯函数式语言也是一样的吗？例如，在Haskell中，数字和字符串也是函数吗？我知道Haskell是基于lambda演算的，它将一切都表示为函数，包括数据和操作。在我看来，“纯函数式语言”将把所有东西都建模为一个函数，并且符合函数的定义，即函数总是以相同的输入返回相同的输出，并且没有状态，这似乎是符合逻辑的。
浏览 1提问于2012-11-28得票数 12
5回答
如何在Haskell中获取一个可能的值
return-value、haskell、maybe
我是Haskell的新手，开始阅读“真实世界的Haskell”。 where eliminate (Just a) = a如果我使用以下命令，则可以很好地工作：但是如果我把1改成字符串，它就不起作用了。我想
浏览 2提问于2011-02-09得票数 38
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
