с#
но в принципе это хороший воркэраунд
Size: a a a
2020 August 13
AN
ну тайпклассы я готов променять, но хкт мне понравилось
В KEEP-87 нет HKT если что. Для этого надо делать что-то вроде компаньон интерфейсов.
AH
В KEEP-87 нет HKT если что. Для этого надо делать что-то вроде компаньон интерфейсов.
Ну ты хоть ссылку кинь куда смотреть)
AN
а если я хочу, чтобы аргументов было тоже столько угодно
никак
AN
Первое - это то, что раньше называлось тайп-классами, второе - это альтернативный подход в моей редакции.
AN
Для тайп-классов есть еще https://github.com/Kotlin/KEEP/issues/209
с#
интересно, когда-нибудь всё таки сделают extension объекты
с#
а не обязательно указывать что это object, можно просто
extension Repository<User> {
}
extension Repository<User> {
}
AN
Ну надо задизайнить нормально. Там вопрос в том, как подстановка реализации происходит
с#
Ну надо задизайнить нормально. Там вопрос в том, как подстановка реализации происходит
ну я бы предложил грубо говоря заменять
extension Int {
fun a() = Unit
infix fun b(other: Int) = this + other
}
на
fun Int.a() = Unit
infix fun Int.b(other: Int) = this + other
extension Int {
fun a() = Unit
infix fun b(other: Int) = this + other
}
на
fun Int.a() = Unit
infix fun Int.b(other: Int) = this + other
AL
Для тайп-классов есть еще https://github.com/Kotlin/KEEP/issues/209
Ну come on, кучу раз сказали, что эта штука ну вот толком никак не помогает тем, кто хочет тайпклассы.
AN
Ну come on, кучу раз сказали, что эта штука ну вот толком никак не помогает тем, кто хочет тайпклассы.
Лааадно. Я все равно думаю, что большую часть кейсов оно перекрывает. Я уже выше писал. Для тайп-классов нужны контракты на компаньоны. Это ортогональная фича. Пишите KEEP.
AL
Лааадно. Я все равно думаю, что большую часть кейсов оно перекрывает. Я уже выше писал. Для тайп-классов нужны контракты на компаньоны. Это ортогональная фича. Пишите KEEP.
Мне-то зачем, меня тайпклассы более чем устроят :D
AN
Точнее нет, вы меня запутали. Для HKT оно не помогает, для тайп-классов как раз очень даже помогает
AL
Точнее нет, вы меня запутали. Для HKT оно не помогает, для тайп-классов как раз очень даже помогает
Есть kotlinx.serialization, есть сериализатор, который надо прокинуть. Если он уже написан, я не хочу его сам закидывать параметром. Чем эта штука мне вообще поможет?
AN
Есть kotlinx.serialization, есть сериализатор, который надо прокинуть. Если он уже написан, я не хочу его сам закидывать параметром. Чем эта штука мне вообще поможет?
А это не тайп-классы, а имплиситы. Давайте не путать
AH
Есть kotlinx.serialization, есть сериализатор, который надо прокинуть. Если он уже написан, я не хочу его сам закидывать параметром. Чем эта штука мне вообще поможет?
это про имплиситы
AN
Вот имплиситы мне не нравятся как идея. Хочу эксплиситы
AL
это про имплиситы
Так никому тайпклассы без подстановки тайпклассов нахрен не сдались :D