使用单片眼镜/scalaz 镜片时的平等成本

Question

我正在阅读有关 Diode 的信息，这让我想到了 Monocle / Scalaz 中的镜头：

如果我（有条件地）使用Monocle/Scalaz 镜头​​对深度嵌套数据结构的某些部分进行深度修改，并且想要比较是否有变化，是否需要进行深度比较，或者有没有办法使用引用相等来查看两个数据结构（有条件修改之前和之后）是否相同？

换句话说：

val f_new=modifyWithMonocleIfTheSunIsUp(f_old)

在数据结构的根 (f_old, f_new) 使用引用相等 (eq) 可以提高比较 f_new==f_old 的效率吗？

换句话说，

f_new==f_old 是否为真当且仅当f_new.eq(f_old) 为真？ (Equation 1)

如果不是，为什么不呢？

如果没有，是否可以使 Equation 1 为 true ？怎么样？

Answer 1

也许您可以使用modifyF 而不是modify 来返回Option，这样您就不必检查是否发生了变化。

例如：

import monocle.Lens
import monocle.macros.GenLens
import scalaz.std.option._

case class Person(name: String, address: Address)
case class Address(street: String, number: Int)

val addressL: Lens[Person, Address] = GenLens[Person](_.address)
val streetL:  Lens[Address, String] = GenLens[Address](_.street)

val changePersonsStreet: Person => Option[Person] =
  (addressL composeLens streetL).modifyF[Option] { street =>
    // only change street name if first letter comes before 'N'
    street.headOption.filter(_.toString.capitalize < "N").map(_ => "New Street")
    // or any other condition
    // if (theSunIsUp) Some("changed street name") else None
  } _

val alice = Person("Alice", Address("Main Street", 1))

val alice2: Option[Person] = changePersonsStreet(alice)
// Some(Person(Alice,Address(New Street,1)))
// -> modified, no need to check

val alice3 = alice2.flatMap(changePersonsStreet)
// None
// -> not modified