Haskell使用Maybe类型的isNothing函数时报变量不在作用域错误
Haskell
isNothing 报错原因说明 - 核心原因:
isNothing不属于 Prelude 默认导出的函数范围。Prelude 是 Haskell 默认自动导入的标准库模块,默认没有包含isNothing这个工具函数,因此未手动导入对应模块时编译器会提示「变量不在作用域」的错误。 value == Nothing可正常运行的原因:Maybe类型默认实现了Eq类型类的判等方法,Nothing是Maybe类型自带的、默认导出的构造器,==是 Prelude 默认包含的Eq类操作符,全程不需要额外导入即可直接使用。- 若要正常使用
isNothing,只需在代码头部导入其所属模块即可:
如果是在 GHCi 交互环境中测试,执行import Data.Maybe (isNothing):m +Data.Maybe即可临时导入该模块使用isNothing。 - 拓展提示:你实现的
maybeMap逻辑完全等价于Functor实例的fmap方法,针对Maybe类型可以直接写fmap f value实现完全相同的效果,不需要手动做判空处理。
内容的提问来源于stack exchange,提问作者Khushi Parashar
相关产品推荐
相关产品推荐

