我在读“功能性角蛋白”,它描述了使用注释产生透镜的过程。

@透镜

import arrow.lenses
import arrow.optics.Lens
import arrow.optics.modify

typealias GB = Int
@lenses data class Memory(val size: GB)
@lenses data class MotherBoard(val brand: String, val memory: Memory)
@lenses data class Laptop(val price: Double, val motherBoard: MotherBoard)

fun main(args: Array<String>) {
    val laptopX8 = Laptop(500.0, MotherBoard("X", Memory(8)))
    val laptopMemorySize: Lens<Laptop, GB> = laptopMotherBoard() compose
motherBoardMemory() compose memorySize()
    val laptopX16 = laptopMemorySize.modify(laptopPrice().set(laptopX8, 780.0)) { size ->
        size * 2
    }
    println("laptopX16 = $laptopX16")
}

arrow生成的镜头与我们的数据类具有的构造函数参数一样多,使用 名称惯例 classProperty 在同一个包装中,所以没有额外的进口 需要

但当我尝试使用 @lenses 注释,找不到。

@光学

在arrow文档中,我注意到它们使用 @optics 注释

@optics data class Memory(val size: GB) {
  companion object
}

它将创建一个 Memory.Companion.size 透镜。

因为我找不到 @透镜 注释,它让我想知道这是否是一个不推荐使用的实现。

我的直觉是正确的还是我在这里遗漏了什么?