A modern programming language that makes developers happier.

kotlinlang

Screenshot 2020-05-23 at 21.46.21.png

Hey there!

Could someone point me to some docs explaining why `val (_) = Unpackable("Two")` does not call `component1` ?

<https://kotlinlang.org/docs/reference/multi-declarations.html#underscore-for-unused-variables-since-11>

Thank you, <@UHH19C752>, somehow I missed the `The componentN() operator functions are not called for the components that are skipped in this way.` part…

wouldn't make sense to call them, if we don't want the value :slightly_smiling_face:

Well, when it has a hidden effect of updating the state in for-comprehension, it’s just a bit surprising. :smile:
Took me a bit to realize it was a Kotlin thing and not an Arrow thing.
<https://github.com/bitnot/fpinkotlin/blob/practice/src/test/kotlin/chapter6/exercises/Exercise_6_11.kt#L89>

`component1` with a side-effect :scream: My life will never be the same

my bad, poor explanation. to be precise, `component1`  is overloaded to call monad extension function `bind`  that calls `suspendCoroutineUninterceptedOrReturn`  :wink:

<https://github.com/arrow-kt/arrow-core/blob/master/arrow-core-data/src/main/kotlin/arrow/typeclasses/MonadContinuations.kt#L31>