我刚刚开始学习 PureScript 效果，并且一直在尝试创建一个具有 EXCEPTION 效果的函数。
lengthGt5 :: forall eff. String -> Eff (err :: EXCEPTION | eff) String
lengthGt5 a = if (length a <= 5)
then throwException $ error "Word is not the right length!"
else a
main = do
word <- catchException handleShortWord (lengthGt5 "test")
log word
where
handleShortWord err = do
log (message err)
return "Defaut::casserole"
当我尝试运行此程序时，出现以下错误
无法匹配类型
String
with type
Eff
( err :: EXCEPTION
| eff0
)
String
我知道 lengthGt5 需要在非异常情况下返回一个包裹在 Eff 中的字符串，但我不确定如何围绕该值创建一个“空效果包装器”a。我这样想对吗？
我知道我错过了什么。要在非异常情况下返回值，您必须调用pure a
lengthGt5 :: forall eff. String -> Eff (err :: EXCEPTION | eff) String
lengthGt5 a = if (length a <= 5)
then throwException $ error "Word is not the right length!"
else (pure a)
pure在Applicative类型类中定义如下：
class (Apply f) <= Applicative f where
pure :: forall a. a -> f a
Applicative 是Apply 的子类，定义了纯函数。纯的
接受一个值并返回一个其类型已被包装的值
类型构造函数 f。
So pure取值a，并返回包装在类型构造函数中的值 - 在这种情况下，类型构造函数是Eff e
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
