AD
Без этой операции это что то отдаленно похожее на юнион
Size: a a a
2021 April 30
AD
А не юнион
I
AD
Как и вы
VP
Представь, что операция
Не так что ли?
| есть, но второй аргумент захардкожен, и выглядит это в коде как ?.Не так что ли?
AG
Крякает как юнион, летает как юнион, значит юнион, почему "отдалённо"?
AD
Потому что не крякает
I
Я повторяю в третий раз, что в языке нет юнионов. А ты пытаешься убедить нас, что в языке нет юнионов. О чём спор, вообще?
VP
Да, трудно переубедить скалиста, что котлин не говно, и там всё не так
AG
Не всё, а только то что юнионов нет.
VP
Это только один из "Костылей Елизарова"
A
Я скалист - котлин НЕ говно 😂
VP
Ясно, не настоящий
VP
Да не, ничего не имею против скалы и скалистов, но встречаются разные персонажи
I
зобанен
AD
У нас тоже есть костыли одерского
VP
А там разве не принято делать обобщённо, а не как некоторые?
с#
что?
left-identity:
val value = 0
fun f(value: Int): Int? = value * 2
val foo: Int? = value
foo?.let(::f) == f(value)
right-identity:
val foo: Int? = 0
fun f(value: Int): Int? = value
foo?.let(::f) == foo
associativity:
val foo: Int? = 0
fun f(value: Int): Int? = value * 2
fun g(value: Int): Int? = value + 6
foo?.let(::f)?.let(::g) == foo?.let { f(it)?.let(::g) }
left-identity:
val value = 0
fun f(value: Int): Int? = value * 2
val foo: Int? = value
foo?.let(::f) == f(value)
right-identity:
val foo: Int? = 0
fun f(value: Int): Int? = value
foo?.let(::f) == foo
associativity:
val foo: Int? = 0
fun f(value: Int): Int? = value * 2
fun g(value: Int): Int? = value + 6
foo?.let(::f)?.let(::g) == foo?.let { f(it)?.let(::g) }