擅长:python、mysql、java
<p>在kotlin中,<a href="https://arrow-kt.io/" rel="nofollow noreferrer">Arrow</a>为语言提供了很多功能。它们之间有<a href="https://arrow-kt.io/docs/arrow/data/eithert/" rel="nofollow noreferrer">^{<cd1>}</a>。
您可以定义:</p>
<pre><code>fun f(x: Either<Int, String>): Either<Int, String> =
x.bimap({ it+1 }, { it.reversed() })
</code></pre>