加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 综合聚焦 > 服务器 > 安全 > 正文

Scala:Cats,OptionT [Future,T]和ApplicativeError

发布时间:2020-12-16 18:09:56 所属栏目:安全 来源:网络整理
导读:前段时间我开始使用Cats,发现OptionT在大多数情况下对Future [Option [T]]非常有用.但我面临一个缺点,使用AplicativeError我需要定义类型别名类型FutureOption [T] = OptionT [Future,X]来匹配AplicativeError所需的F [_]并明确指定我的表达式的类型为Future
前段时间我开始使用Cats,发现OptionT在大多数情况下对Future [Option [T]]非常有用.但我面临一个缺点,使用AplicativeError我需要定义类型别名类型FutureOption [T] = OptionT [Future,X]来匹配AplicativeError所需的F [_]并明确指定我的表达式的类型为FutureOption [T] .

type FutureOption[T] = OptionT[Future,T] // definition to match F[_] kind

val x = OptionT.liftF(Future.failed(new Exception("error"))) : FutureOption[String] // need to specify type explicitly
x.recover {
  case NonFatal(e) => "fixed"
}

如果我删除表达式的类型定义和显式类型规范,则恢复将不可用,因为OptionT [Future,T]与F [_]不匹配,因此无法将其隐式转换为AplicativeErrorOps.

不幸的是,下面的例子不起作用,因为没有恢复方法.

val x = OptionT.liftF(Future.failed(new Exception("error")))
x.recover {
  case NonFatal(e) => "fixed"
}

有没有办法避免这种样板代码?至少我想避免明确地将表达式类型指定为FutureOption [T].

解决方法

除了其他答案,我建议您确保为您的构建启用了-Ypartial-unification.

这是对partial unification of type constructors的修复.您可以找到有关修复here的更详细说明.

启用部分统一后,您在问题中提供的代码编译得很好.请注意,如果您使用的是IDE(例如Intellij),您可能会收到“漏报”(代码加下划线标记为错误且代码完成无效),但scalac / sbt / gradle会将其编译得很好.

(编辑:李大同)

【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容!

    推荐文章
      热点阅读