解构而不是 .bind() 在 Arrow Monad 理解中不起作用答案

【问题标题】：Destructuring instead of .bind() doesn't work in an Arrow Monad comprehension解构而不是 .bind() 在 Arrow Monad 理解中不起作用
【发布时间】：2020-11-08 12:07:55
【问题描述】：

根据 Arrow 的 Javadoc，可以通过三种方式绑定 monad：

/**
 * All possible approaches to running [Kind] in the context of [Fx]
 *
 * ```
 * fx {
 *   val one = just(1).bind() // using bind
 *   val (two) = just(one + 1) // using destructuring
 *   val three = !just(two + 1) // yelling at it
 * }
 * ```
 */

第一个和最后一个工作正常，但由于某种原因解构不能，为什么？

在下一个示例中，您可以看到我正在使用解构，val (j) = helloJoey().k(),) but that value is interpreted as a Mono` 而不是字符串。

class HelloServiceImpl : HelloService {

    private val logger = LoggerFactory.getLogger(javaClass)

    override fun helloEverybody(): Mono<out String> {
        return MonoK.monad().fx.monad {
            val (j) = helloJoey().k()
            val a = !Mono.zip(helloJohn(), helloMary()).map { "${it.t1} and ${it.t2}" }.k()
            "$j and $a"
        }.fix().mono

    }

    override fun helloJoey(): Mono<String> {
        return Mono.defer {
            logger.info("helloJoey()")
            sleep(2000)
            logger.info("helloJoey() - ready")
            Mono.just("hello Joey")
        }.subscribeOn(Schedulers.elastic())
    }

    override fun helloJohn(): Mono<String> {
        return Mono.defer {
            logger.info("helloJohn()")
            sleep(5000)
            logger.info("helloJohn() - ready")
            Mono.just("hello John")
        }.subscribeOn(Schedulers.elastic())
    }

    override fun helloMary(): Mono<String> {
        return Mono.defer {
            logger.info("helloMary()")
            sleep(5000)
            logger.info("helloMary() - ready")
            Mono.just("hello Mary")
        }.subscribeOn(Schedulers.elastic())
    }

}

fun main() {
    val countDownLatch = CountDownLatch(1)
    HelloServiceImpl().helloEverybody().subscribe {
        println(it)
        countDownLatch.countDown()
    }
    countDownLatch.await()
}

【问题讨论】：

标签： kotlin arrow-kt

【解决方案1】：

这是一个已知问题，也是我们放弃这种方法的原因。它们被标记为已弃用 here。

发生的情况是，MonoK 是一个数据类，其解构运算符已定义为返回包装后的Mono。在fx 块内使用时，此解构优先于BindSyntax 中定义的解构。检查提示您的预期类型是否有效，否则请改用invoke 或bind。

【讨论】：