Телеграмм чат группы kotlin

Size: a a a

Kotlin Community

3017 membersпожаловаться на группу

2019 October 20

Alexander Nozik in Kotlin Community

Ержан

Вот и спрашиваю если с котлина начать, понадобится ли в дальнейшем java?

сколько-то понадобится, но не много и не сразу

источник

22:33пожаловаться #1

Quantum Harmonizer in Kotlin Community

> None of the following functions can be called with the arguments supplied:
а можно как-то компилятор попросить обосновать? Потому что у меня полнейший generic hell, и хотелось бы видеть причины, по которым тот или иной оверлоад не подходит

источник

22:37пожаловаться #2

Andrey Antipov in Kotlin Community

Quantum Harmonizer

А он вроде там должен подсказывать. Подробнее без кода сложно сказать

источник

22:41пожаловаться #3

Quantum Harmonizer in Kotlin Community

боюсь, что с кодом будет ещё сложнее

источник

22:43пожаловаться #4

Boris Vanin in Kotlin Community

Сурово

источник

22:43пожаловаться #5

Quantum Harmonizer in Kotlin Community

просто мне нужно склеить две линзы, и если это A -> B . B -> C, то всё просто, но ещё нужно предусмотреть правила преобразования A -> Partial<B> . B -> C и A -> B? . B -> C

источник

22:44пожаловаться #6

Andrey Antipov in Kotlin Community

Эт стрелка чтоль? Всякие partial product, telescope

источник

22:44пожаловаться #7

Quantum Harmonizer in Kotlin Community

Andrey Antipov

Эт стрелка чтоль? Всякие partial product, telescope

не понимаю функционального языка, к сожалению

источник

22:44пожаловаться #8

Andrey Antipov in Kotlin Community

Quantum Harmonizer

Это сложновато будет вывести.
Какой тип у этих композиций должен быть?

источник

22:46пожаловаться #9

Quantum Harmonizer in Kotlin Community

telescope придумал никуда не подсматривая, просто потому что состоит из двух линз

источник

22:47пожаловаться #10

Andrey Antipov in Kotlin Community

А линза это что?

источник

22:47пожаловаться #11

Quantum Harmonizer in Kotlin Community

Andrey Antipov

А линза это что?

это поле структуры. Или путь из нескольких полей

источник

22:47пожаловаться #12

Andrey Antipov in Kotlin Community

Я просто знаю линзы из хаскеля и стрелки. У вас такие же?

источник

22:48пожаловаться #13

Quantum Harmonizer in Kotlin Community

Andrey Antipov

Я просто знаю линзы из хаскеля и стрелки. У вас такие же?

не знаю

источник

22:48пожаловаться #14

Quantum Harmonizer in Kotlin Community

Andrey Antipov

Это сложновато будет вывести.
Какой тип у этих композиций должен быть?

S1 -> S2 . S2 -> T => S1 -> T
S1 -> S2? . S2 -> T => S1 -> T?
S1 -> Partial<S2> . S2 -> T => S1 -> T?
S1 -> Partial<S2>? . S2 -> T => T?

источник

22:49пожаловаться #15

Quantum Harmonizer in Kotlin Community

жопа в том, что линза тащит за собой тайп-параметр, описывающий её тип (ну да, тип типа :), и оверлоады нужны только чтобы его правильно вывести

источник

22:50пожаловаться #16

Andrey Antipov in Kotlin Community

Так. Давайте с определений:
Линза у вас - это просто морфизм A -> B? Или как?
Generic её можете скинуть?

источник

22:51пожаловаться #17

Quantum Harmonizer in Kotlin Community

Andrey Antipov

Так. Давайте с определений:
Линза у вас - это просто морфизм A -> B? Или как?
Generic её можете скинуть?

У меня есть структуры, в них есть поля. Поле структуры — самая примитивная форма линзы, в том числе являющаяся функцией Struct -> Field.

источник

22:52пожаловаться #18

Quantum Harmonizer in Kotlin Community

Если в поле структуры лежит другая структура (в т. ч. нуллабельная или частичная), мне нужна возможность склеить линзы, чтобы указать путь

источник

22:53пожаловаться #19

Quantum Harmonizer in Kotlin Community

главным образом для того, чтобы описать, каким образом хранятся сколь угодно вложенные структуры в БД

источник

22:53пожаловаться #20