Size: a a a

2020 May 11

AN

Alexander Nozik in Kotlin JVM
Kira Alche
Для них вроде и задумывалось, что-то похожее в котлине хотели сделать пару лет назад, насколько помню, но не сделали
Потому что оно очень мало где надо и довольно легко реплицируется на синглетон объектах. Возможно еще сделают. Оно ничему не противоречат.
источник

AN

Alexander Nozik in Kotlin JVM
Kira Alche
В хаскеле кажется есть такое
и в скале есть. Кстати и на плагинах это сделать не особо сложно.
источник

QH

Quantum Harmonizer in Kotlin JVM
Alexander Nozik
Потому что оно очень мало где надо и довольно легко реплицируется на синглетон объектах. Возможно еще сделают. Оно ничему не противоречат.
хмм, а из принимающей функции же не видно, что это объект. Только тип
источник

AN

Alexander Nozik in Kotlin JVM
Quantum Harmonizer
хмм, а из принимающей функции же не видно, что это объект. Только тип
Ну делаем синглетон, он порождает тип. Сам синглетон как объект потом нигде не используется и вырезается каким-нибудь R8 или как его.
источник

QH

Quantum Harmonizer in Kotlin JVM
Alexander Nozik
Ну делаем синглетон, он порождает тип. Сам синглетон как объект потом нигде не используется и вырезается каким-нибудь R8 или как его.
Что принимающая функция будет делать с типом? Рефлектить?
источник

AN

Alexander Nozik in Kotlin JVM
Могу несколько примеров кинуть потом. Мы как раз сейчас дизайним type-safe dimensions
источник

AN

Alexander Nozik in Kotlin JVM
Quantum Harmonizer
Что принимающая функция будет делать с типом? Рефлектить?
Статический же диспатч
источник

QH

Quantum Harmonizer in Kotlin JVM
Alexander Nozik
Статический же диспатч
Я ничего не понял. Вот есть reified T, как я из него достану инстанс?
источник

AL

Alexander Levin in Kotlin JVM
Alexander Nozik
Это полезная штука для всяких type-safe dimensions. Но других применений не знаю.
Да разные варианты есть. Type-safe dimensions, интероп хорошо идёт. Как в оффтопе упомянули, можно довольно типобезопасно обобщённую структуру в какой-то класс парсить.
источник

AN

Alexander Nozik in Kotlin JVM
Quantum Harmonizer
Я ничего не понял. Вот есть reified T, как я из него достану инстанс?
не надо reified. Используется только сам тип и только во время компилляции
источник

AN

Alexander Nozik in Kotlin JVM
источник

QH

Quantum Harmonizer in Kotlin JVM
Alexander Nozik
не надо reified. Используется только сам тип и только во время компилляции
мне не нужен тип 🌚
источник

AN

Alexander Nozik in Kotlin JVM
Alexander Nozik
Могу несколько примеров кинуть потом. Мы как раз сейчас дизайним type-safe dimensions
точнее юниты, размерности уже есть
источник

AN

Alexander Nozik in Kotlin JVM
Quantum Harmonizer
мне не нужен тип 🌚
Ну тогда это не type literals.
источник

QH

Quantum Harmonizer in Kotlin JVM
если не Box<2>, а Box<Two>, где object Two : Const<Int>(2), как его принять?
источник

AN

Alexander Nozik in Kotlin JVM
Quantum Harmonizer
если не Box<2>, а Box<Two>, где object Two : Const<Int>(2), как его принять?
я выше скинул примерно то, что вам нужно.
источник

AN

Alexander Nozik in Kotlin JVM
на жвм это делается как type.objectInstance.value
источник

AL

Alexander Levin in Kotlin JVM
Alexander Nozik
я выше скинул примерно то, что вам нужно.
Немного оффтоп, но там на D3 указана размерность 31 :D
источник

QH

Quantum Harmonizer in Kotlin JVM
Quantum Harmonizer
Что принимающая функция будет делать с типом? Рефлектить?
here we go, рефлектить
источник

AN

Alexander Nozik in Kotlin JVM
Alexander Levin
Немного оффтоп, но там на D3 указана размерность 31 :D
О, опечаточка. Спасибо
источник