违反了斯卡拉兹未来monad的左侧身份法

发布时间：2020-12-16 19:13:52 所属栏目：安全来源：网络整理

导读：假设我为Future定义了Monad类型类的实例： val futureMonad = new Monad[Future] { override def point[A](a: ? A): Future[A] = Future(a) override def bind[A,B](fa: Future[A])(f: A = Future[B]): Future[B] = fa flatMap f} 严格来说,这不是一个单子,

假设我为Future定义了Monad类型类的实例：

val futureMonad = new Monad[Future] {
  override def point[A](a: ? A): Future[A] =
    Future(a)

  override def bind[A,B](fa: Future[A])(f: A => Future[B]): Future[B] =
    fa flatMap f
}

严格来说,这不是一个单子,因为它违反了左侧身份的法则：

futureMonad.point(a) bind f == f(a)

如果f抛出异常,左侧表达式的结果将是失败的Future,而右侧将抛出异常.

但是这种违规的实际意义是什么？由于这种“不良行为”,系统可以通过哪些方式失败？

解决方法

就理解而言,它只是意味着以下重构不是保持语义的：

for (fut <- Future(a); x <- f(fut)) yield x  ==>  f(a)

但这只是写左派身份法的另一种方式,真的.

要进一步解释无效重构：

for (fut <- Future(a); x <- f(fut)) yield x
==>  for (x <- f(a)) yield x  // by left identity law: WRONG,because left identity law does not hold
==>  f(a)                     // by 1st functor law:   WRONG,because previous line was wrong

（编辑：李大同）

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