Oℕ
ну я почитал вот тот ПР
Size: a a a
2020 August 28
λ
видел твит Раджа
Did you just assume his indian ethnicity?
Oℕ
не знаю, но это смешно звучит
λ
Какая-то хуйня
λ
Кароч я так понял эт просто какая-то коклен оптимизация
V
вот ето поворот
λ
Vasiliy
Владимир Семенович убивает tagless final
Oℕ
вот я смотрю на етот кот
runScope<List<Tuple3<Int, Int, Int>>> {
val i: Int = shift { k -> k(10) + k(20) }
val j: Int = shift { k -> k(15) + k(25) }
val k: Int = shift { k -> k(17) + k(27) }
listOf(Tuple3(i, j, k))
} shouldBe listOf(10, 20).flatMap { i -> listOf(15, 25).flatMap { j -> listOf(17, 27).map { k -> Tuple3(i, j, k) } } }
т.е. в скале ето было бы(for( i <- many[F](10, 20), j <- many[F](15, 25), k <- many[F](17, 27)) yield (i,j,k)) shouldBe
(List(10, 20) , List(15, 25), List(17, 27)).tupled
w
вот я смотрю на етот кот
runScope<List<Tuple3<Int, Int, Int>>> {
val i: Int = shift { k -> k(10) + k(20) }
val j: Int = shift { k -> k(15) + k(25) }
val k: Int = shift { k -> k(17) + k(27) }
listOf(Tuple3(i, j, k))
} shouldBe listOf(10, 20).flatMap { i -> listOf(15, 25).flatMap { j -> listOf(17, 27).map { k -> Tuple3(i, j, k) } } }
т.е. в скале ето было бы(for( i <- many[F](10, 20), j <- many[F](15, 25), k <- many[F](17, 27)) yield (i,j,k)) shouldBe
(List(10, 20) , List(15, 25), List(17, 27)).tupled
Лучше xml, можно теги на кириллице написать и сразу будет читаемо
ᛒ
ех, помню лулз с котлином и таплами
Oℕ
т.е. multishot как я понял - ето MonadPlus на конкинуациях
Oℕ
т.е. Monad + MonoidK
Oℕ
а больше ничо не понял
Oℕ
Oℕ
ну это сильно
λ
мне кажется эт круто, потому что на всех коклен платформах пашет