як всё сложно

у некоторых тяга к усложнению )

мне вродь не понадобились)))0

¯\_(ツ)_/¯

Подкачка размечена на ссдшник, и не переносится с него

Я ее включаю или ограничеваю

мне вродь не понадобились)))0

Для чего либу писал?

Для чего либу писал?

— для запуска сервисов в ведроиде — для реактивщины — для обкладывания костылями андроид-фреймворка — для круд-админки на сайте — коллекции — авторизация в андроид-приложении через ВК — для Gson, чтобы он не игнорил конструкторы — для валидации ввода в андроиде мб чо забыл

А ну это всё конкретика без абстракций)

мне вродь не понадобились)))0

у тебя вместо flatMap mapWith вроде

со странной сигнатурой

у тебя вместо flatMap mapWith вроде

потому что это не flatMap)

его у меня просто нет, хотя несложно сделать и планируется

ну как не flatMap?

а

стоп

это zipWith

ну как не flatMap?

flatMap при каждом изменении this подписывается на обзёрвабл, возвращённый функцией

а тут у меня нет функции)

это zipWith

стоит переименовать?

я бы переименовал, все-таки zip устоявшаяся штука, даже в RxJava

я бы переименовал, все-таки zip устоявшаяся штука, даже в RxJava

...а где ещё?

kotlin.collections

java.Stream

и т.д.

понял, спасибо

я бы переименовал, все-таки zip устоявшаяся штука, даже в RxJava

А что вообще zip значит, можно на пальцах, примерах пояснить ?

А что вообще zip значит, можно на пальцах, примерах пояснить ?

объединить две штуки в одну, типа apple.zipWith(pen): Pair<Apple, Pen>

Ну вообще сигнатура примерно такая fun <A, B> List<A>.zip(other: List<B>): List<Pair<A, B>>

объединить две штуки в одну, типа apple.zipWith(pen): Pair<Apple, Pen>

Кстати, вот тут такая штука, что zip обычно обьединяет попарно, т.е. zip([1,2,3], [а,b]) вернет [(1,а), (2,b)] А у тебя судя по коду, mapWith возвращает [(1,а),(2,b),(3,b)]

Вместо лист любой тип с параметром

Кстати, вот тут такая штука, что zip обычно обьединяет попарно, т.е. zip([1,2,3], [а,b]) вернет [(1,а), (2,b)] А у тебя судя по коду, mapWith возвращает [(1,а),(2,b),(3,b)]

у меня не лист) да, это похоже на combineLatest

у меня не лист) да, это похоже на combineLatest

Ну лист, растянутый во времени, какая разница

Ну лист, растянутый во времени, какая разница

Вот это и есть решающая разница. Приходит пара значений на текущий момент, а не пара значений с одинаковыми индексами. Последнее бессмысленно.

Вот это и есть решающая разница. Приходит пара значений на текущий момент, а не пара значений с одинаковыми индексами. Последнее бессмысленно.

Все равно значения дискретные

Все равно значения дискретные

Вот, допустим, синтетический пример. val left = propertyOf(0) val right = propertyOf(0) val stereo = left.mapWith(right, ::Pair) stereo.addChangeListener { _, _, (l, r) -> audioDevice.setSamples(l, r) } launch { left.value = nextSample(leftFile) delay(1.0 / leftFile.sampleRate) // 44 100 Hz } launch { right.value = nextSample(rightFile) delay(1.0 / rightFile.sampleRate) // 48 000 Hz }

Ну это по сути zipWithMap

А вот это left.mapWith(right, ::Pair) - это вообще просто zip, так как zipWithMap(a, b, ::Pair) == zip(a, b)

И вот если бы у тебя были систематические знания то обозвал бы всё это как заведено :)

И вот если бы у тебя были систематические знания то обозвал бы всё это как заведено :)

Я бы с радостью. А где их взять?

Можно поботать теор кат

Меня спасли либы вроде cats и arrow, по ним изучил все эти законы

Теор катом универ обделил

Я бы с радостью. А где их взять?

попиши чутка на Typed FP языке или arrow

ну почему ж нет. Их же можно эмулировать

Кстати а как это вообще выглядеть в коде будет Например как на arraow записать что то подобное? def twice[F: Functor](value: F[Int]): F[Int] = Functor[F].map(value, _ * 2)

там функтор имеет такой интрефейс interface Functor<F> { fun <A, B> Kind<F, A>.map(f: (A) -> B): Kind<F, B> } а значит вроде как fun twice(value: Functor<F>) : Kind<F, Int> = value.map { it * 2} должно сработать

но я тот еще луркер, на arrow не писал, только смотрел документашку/семплы/презы

ещще не чувствую, что накопил критическую массу теории чтобы понимать, что делать с этим

А во есть дока https://arrow-kt.io/docs/patterns/polymorphic_programs/

Хреново конечно, что надо использовать всякие OptionOf

ну да, и кодогенерация - та еще штука

ну да, и кодогенерация - та еще штука

Ну это только если ты не хочешь инстансы руками писать

Когда ты пишешь библиотеки разных сортов, тебе нужны абстрации, и вот всякие arrow позволяют говорить что твои абстрации подчинаются каким то законам

Либа которая тянет с собой arrow. Сильно

там функтор имеет такой интрефейс interface Functor<F> { fun <A, B> Kind<F, A>.map(f: (A) -> B): Kind<F, B> } а значит вроде как fun twice(value: Functor<F>) : Kind<F, Int> = value.map { it * 2} должно сработать

extension методы в interface это надо отдельно разобраться

Либа которая тянет с собой arrow. Сильно

Ну и нечего, у нас в скале авторы либ решили завязаться на cats

И все живы

Если она локальная - то может и нормально.

Ну и нечего, у нас в скале авторы либ решили завязаться на cats

только не говорите что вы пишете под андроид

Когда ты пишешь библиотеки разных сортов, тебе нужны абстрации, и вот всякие arrow позволяют говорить что твои абстрации подчинаются каким то законам

а есть какие-нибудь опенсорс примеры с использованием таких подходов и что бы это выглядело более менее оправдано (опционально)?

а есть какие-нибудь опенсорс примеры с использованием таких подходов и что бы это выглядело более менее оправдано (опционально)?

Я думаю они все на scala

инетресно на котлине

только не говорите что вы пишете под андроид

Ну андроид на скале сложновато

инетресно на котлине

https://arrow-kt.io/docs/quickstart/projects/ тут вроде что-то есть

Ребят, есть инфа, когда SAM для котлиновых интерфейсов завезут ?

Ребят, есть инфа, когда SAM для котлиновых интерфейсов завезут ?

в 1.3, то есть в снэпшотах уже, наверное, есть

Ребят, есть инфа, когда SAM для котлиновых интерфейсов завезут ?

а вот кстати, скажите, зачем такое, если есть typeAlias? обратный интероп с джавой?

Почитал я эту дискуссию и полез все-таки смаотреть, что такое Type классы (первые три раза я отразился от терминологии). Поковоярял, поковырял и обнаружил, что я их оказывается давно использую в kmath для определения математических операций.

а вот кстати, скажите, зачем такое, если есть typeAlias? обратный интероп с джавой?

в функциональных типах не решена проблема боксинга, например

ERROR: S client not available

По крайней мере в том виде, в котором они сейчас есть в arrow

а вот кстати, скажите, зачем такое, если есть typeAlias? обратный интероп с джавой?

Немного холиварная тема. Я вот хочу и всё

Почитал я эту дискуссию и полез все-таки смаотреть, что такое Type классы (первые три раза я отразился от терминологии). Поковоярял, поковырял и обнаружил, что я их оказывается давно использую в kmath для определения математических операций.

https://github.com/altavir/kmath этот?

этот

Немного холиварная тема. Я вот хочу и всё

нет, правда, зачем? Вот кто-то и статик до сих пор хочет

Там операции над полями и пространствами опрделены таким образом

Почитал я эту дискуссию и полез все-таки смаотреть, что такое Type классы (первые три раза я отразился от терминологии). Поковоярял, поковырял и обнаружил, что я их оказывается давно использую в kmath для определения математических операций.

В математике же без них комбинаторный взрыв методов :)

Хто?

этот

Ога, один в один считай

Я физик если что, я от переизбытка математических терминов сам взрываюсь

Просто Keep по тайп классам написан так, что вообще ничего понять невозможно

нет, правда, зачем? Вот кто-то и статик до сих пор хочет

Документация, осмысленное название метода и аргументов например

Я физик если что, я от переизбытка математических терминов сам взрываюсь

N методов на X сущностей в случае с унарными операциями, N*X*Y -- с бинарными и т.д.

Просто Keep по тайп классам написан так, что вообще ничего понять невозможно

он какой-то странный

Не понял. Это вроде проблема с шаблонами. Если шаблонов нет, то и проблемы нет. Мы всегда оперируем очень ограниченным количеством типов

не очень понятно, какой понт вводить ключевые слова в двух точках, если все то же самое легко делается хитрым dsl (это я про KEEP-87)

Мне сильно нехватает возможности вводить расширения с двумя ресиверами. В смысле чтобы определять контекстное расширение не внутри класса а как расширение. Если бы это было, все остальное вообще не нужно

Почитал я эту дискуссию и полез все-таки смаотреть, что такое Type классы (первые три раза я отразился от терминологии). Поковоярял, поковырял и обнаружил, что я их оказывается давно использую в kmath для определения математических операций.

Да у всех одна и та же проблема, не хватает грамотности что-ли

Не знаю как это обозвать

Это палка о двух концах. Когда я математикас большим количеством теоретических знаний начинаю объяснять банальные вещи типа систем сборки, они подвисают насмерть

Мне сильно нехватает возможности вводить расширения с двумя ресиверами. В смысле чтобы определять контекстное расширение не внутри класса а как расширение. Если бы это было, все остальное вообще не нужно

а как такое вызвать?

Это просто расширение которое видно только когда ресивером является определенный объект.

а как такое вызвать?

with(a) { b.ext() }

with(a) { b.ext() }

Точно

это только в DSLах всякких нужно, на пределе языковых возможностей)

Очень мощная штука

вот в Anko есть member extension functions

это только в DSLах всякких нужно, на пределе языковых возможностей)

Не согласен, вот во всяких обобщенных математических операциях очень полезно. В DSL конечно тоже, но ими все не ограничивается.

Вообще, суть в том, что оно уже есть. Просто синтаксиса для него нет

А как в Anko это сделано если язык не позволяет?

На самом деле можно такое сделать через class XDecorator(x: X) определяющий экстеншены

Да, я сейчас примерно так и делаю