(
И что в дангном случае контекст?
произвольный датакласс
Size: a a a
2020 May 26
I
произвольный датакласс
И если у нас несколько Has, то это несколько контекстов или один контекст, но поддерживающий все условия? Или зависит от того, что напишешь,
| или &?I
Переформулирую вопрос. Можно ли контексты композировать?
(
И если у нас несколько Has, то это несколько контекстов или один контекст, но поддерживающий все условия? Или зависит от того, что напишешь,
| или &?нету
| и &, есть только &(
Переформулирую вопрос. Можно ли контексты композировать?
в этом и есть смысл таких контекстов
I
нету
| и &, есть только &Ну, возвращаемся к вопросу с
T.canVomitOrShit. Как мне это выразить?(
Ну, возвращаемся к вопросу с
T.canVomitOrShit. Как мне это выразить?Как ты себе это представляешь? Внутри кастить и типчики проверять?
I
Как ты себе это представляешь? Внутри кастить и типчики проверять?
Ну да. Вот к примеру, есть у меня две инструкции. AALOAD и ALOAD. Они абсолютно разные для обычного анализа байткода. Но для моего конкретного анализа важно лишь, что они кладут значение на стек и я, если постараюсь, могу тип этого значения достать. Поэтому я хочу написать что-то типа
Нормальный use-case?
fun <T> T.getType(): Type where T : (AALOAD | ALOAD) = Type.Object
fun <T> T.getType(): Type where T : (IALOAD | ILOAD) = Type.Int
// etc
Нормальный use-case?
I
https://www.youtube.com/watch?v=Zk42d7vNLr4
Кек кросовер тысячелетия: Фил (автор ссаных статьяей с хабра) + Бреслав
Кек кросовер тысячелетия: Фил (автор ссаных статьяей с хабра) + Бреслав
VP
https://www.youtube.com/watch?v=Zk42d7vNLr4
Кек кросовер тысячелетия: Фил (автор ссаных статьяей с хабра) + Бреслав
Кек кросовер тысячелетия: Фил (автор ссаных статьяей с хабра) + Бреслав
Ты уже и на подкаст его подписался?
I
нет, но большинство выпусков послушал - вроде норм
I
Ну да. Вот к примеру, есть у меня две инструкции. AALOAD и ALOAD. Они абсолютно разные для обычного анализа байткода. Но для моего конкретного анализа важно лишь, что они кладут значение на стек и я, если постараюсь, могу тип этого значения достать. Поэтому я хочу написать что-то типа
Нормальный use-case?
fun <T> T.getType(): Type where T : (AALOAD | ALOAD) = Type.Object
fun <T> T.getType(): Type where T : (IALOAD | ILOAD) = Type.Int
// etc
Нормальный use-case?
Ну и, разумеется,
ASTORE.getType() должно кинуть ошибку компиляции.D
https://www.youtube.com/watch?v=Zk42d7vNLr4
Кек кросовер тысячелетия: Фил (автор ссаных статьяей с хабра) + Бреслав
Кек кросовер тысячелетия: Фил (автор ссаных статьяей с хабра) + Бреслав
У автора тех статтей есть канал О_о
AM
https://www.youtube.com/watch?v=Zk42d7vNLr4
Кек кросовер тысячелетия: Фил (автор ссаных статьяей с хабра) + Бреслав
Кек кросовер тысячелетия: Фил (автор ссаных статьяей с хабра) + Бреслав
Поразводилось подкастеров, я только послушал выпуск Антона Назарова (известный твиттерский) с Бреславом
(
Ну да. Вот к примеру, есть у меня две инструкции. AALOAD и ALOAD. Они абсолютно разные для обычного анализа байткода. Но для моего конкретного анализа важно лишь, что они кладут значение на стек и я, если постараюсь, могу тип этого значения достать. Поэтому я хочу написать что-то типа
Нормальный use-case?
fun <T> T.getType(): Type where T : (AALOAD | ALOAD) = Type.Object
fun <T> T.getType(): Type where T : (IALOAD | ILOAD) = Type.Int
// etc
Нормальный use-case?
Так это вообще не про изначальное
(
Это твоя боль про отсутствие антаггед юнион типов
I
Это твоя боль про отсутствие антаггед юнион типов
Ога
I
Я задолбался копипастить
fun AALOAD.getType() = Type.Object
fun ALOAD.getType() = Type.Object
///etc
D
Поразводилось подкастеров, я только послушал выпуск Антона Назарова (известный твиттерский) с Бреславом
Сбрасывай
AM
