E
Или мы о разных вещах говорим?
Size: a a a
2020 March 16
EO
Evgen
А это разве не то, о чем написал @labeg - getClass().getDeclaredField() - это ж вроде и есть рефлексия?
да, не о разном
EO
интроспекция - это возможность получить информацию о типе в рантайме
рефлексия - это возможность в рантайме делать интроспекцию И (если нужно) изменять поведение и прочее
рефлексия - это возможность в рантайме делать интроспекцию И (если нужно) изменять поведение и прочее
EO
просто @labeg подумал, видимо, о типах в рантайме как абстракция, не знаю как это сказать даже, не знаю о чем он подумал)
E
Ну это понятно, что ТС эту информацию на момент компиляции удаляет, а если бы сохранял, то и в ТС была бы такая возможность (наверно)
EO
Evgen
Ну это понятно, что ТС эту информацию на момент компиляции удаляет, а если бы сохранял, то и в ТС была бы такая возможность (наверно)
проблема с ТС в том, что у него целевой язык JavaScript, в котором много чего интересного
DB
Есть reflect metadata
E
проблема с ТС в том, что у него целевой язык JavaScript, в котором много чего интересного
Согласен
EO
т.е. кодогенерация ТС ограничивает себя тем фактом, что им нужно чтобы оно в JavaScript работало
это как если бы надо было компилировать С++ на baremetal под ARM и всё что у тебя есть в наличии из целевой платформы - это инструкции ARM (ты не можешь ничего использовать из того, чего нету в ARM попросту)
это как если бы надо было компилировать С++ на baremetal под ARM и всё что у тебя есть в наличии из целевой платформы - это инструкции ARM (ты не можешь ничего использовать из того, чего нету в ARM попросту)
EO
Есть reflect metadata
ну вот, например, мой же случай вполне можно было реализовать в ТС
компилятор видит что у него number, а это может быть NaN и Infinity - значит эмитим код, который это проверяет - иначе - кидает RuntimeError()
компилятор видит что у него number, а это может быть NaN и Infinity - значит эмитим код, который это проверяет - иначе - кидает RuntimeError()
EO
в рантайме жс для этого всё необходимое есть
DB
Мб тс просто не дошёл до этого
E
т.е. кодогенерация ТС ограничивает себя тем фактом, что им нужно чтобы оно в JavaScript работало
это как если бы надо было компилировать С++ на baremetal под ARM и всё что у тебя есть в наличии из целевой платформы - это инструкции ARM (ты не можешь ничего использовать из того, чего нету в ARM попросту)
это как если бы надо было компилировать С++ на baremetal под ARM и всё что у тебя есть в наличии из целевой платформы - это инструкции ARM (ты не можешь ничего использовать из того, чего нету в ARM попросту)
То, что скомпилированный код должен работать только на определенной архитектуре ничего не говорит о проверке типов в рантайме. Или я не прав?
I
ну вот, например, мой же случай вполне можно было реализовать в ТС
компилятор видит что у него number, а это может быть NaN и Infinity - значит эмитим код, который это проверяет - иначе - кидает RuntimeError()
компилятор видит что у него number, а это может быть NaN и Infinity - значит эмитим код, который это проверяет - иначе - кидает RuntimeError()
По сути ты хочешь утиную типизацию на выходе?
EO
Evgen
То, что скомпилированный код должен работать только на определенной архитектуре ничего не говорит о проверке типов в рантайме. Или я не прав?
не могу с уверенностью сказать, но интуиция подсказывает что ты прав
EO
я за реализацию самой проверки на целевой архитектуре
I
По сути ты хочешь утиную типизацию на выходе?
EO
банальный пример, если у тебя целевая архитектура не поддерживает умножение, то тебе нужно операцию умножения делать через суммирование
I
Это контракт через валидацию
ЕЛ
просто @labeg подумал, видимо, о типах в рантайме как абстракция, не знаю как это сказать даже, не знаю о чем он подумал)
имел ввиду что в рантайме типизации нет, есть код и метаинформация привязаная к этому коду, вот за счет рефлексии можно вытащить эту метаинформацию