Oℕ
в стрелках в явной форме будет очень болезненно, потому что a b c не могут просто быть кусками замыканий функций в фор компрехеншоне
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
453 membersпожаловаться на группу
2019 December 14
Oℕ
Тебе нужно явно их засовывать в тюплы, чтобы прогнать на последнюю стадию
λ
другими словами, нужно явно строить граф
λ
в то время как он может быть выведен на согласовании входов и выходов через переменные
Oℕ
но ты можешь юзать волгу и спокойно написать
http{ () =>
val a = getQueryParam("a")()
val b = getQueryParam("b")()
val c = getBody()
authenticate()
checkPost()
foo(a, b, c)
}
http{ () =>
val a = getQueryParam("a")()
val b = getQueryParam("b")()
val c = getBody()
authenticate()
checkPost()
foo(a, b, c)
}
Oℕ
в то время как он может быть выведен на согласовании входов и выходов через переменные
да, можно так выразиться
Oℕ
собственно в стрелках этот граф ты должен соединять просто функциями, это приемлемо, распаковал тюплов, напаковал тюплов
Oℕ
а в генерализованных стрелках, уже нужно колбасить очень длинные композиции всяких ассоциативностей, симметрий
Oℕ
потому что функциями ты пользоваться не можешь
Oℕ
но ты можешь юзать волгу и спокойно написать
http{ () =>
val a = getQueryParam("a")()
val b = getQueryParam("b")()
val c = getBody()
authenticate()
checkPost()
foo(a, b, c)
}
http{ () =>
val a = getQueryParam("a")()
val b = getQueryParam("b")()
val c = getBody()
authenticate()
checkPost()
foo(a, b, c)
}
похоже код на стрелках лучше фора выглядит
Oℕ
надо только сделать запрошенный редривером эти
λ
мне кажется надо придумать как сделать инстансы для котов
это чисто с маркетингово-ux ной точки зрения
это чисто с маркетингово-ux ной точки зрения
Oℕ
в 2.12 и так работало
Oℕ
инстансы для котов есть
w
welcometotheclubbuddy in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
инстансы для котов есть
Эх, сча бы есть
Oℕ
cats.Arrow => volga.Arr выводится
λ
я опять про kleisli, id, monad всякие