p
Так рантайм джитом компилируется
Size: a a a
2020 March 02
p
В нативном коде тоже дженерики есть?
DF
А в хаскеле как? Разве не один инстанс дженерика которому передается все время витейбл ?
DS
Так рантайм джитом компилируется
Но метаинформация о них в райнтайме всё равно есть.
p
Но метаинформация о них в райнтайме всё равно есть.
Лол, а зачем
DS
Dollar Føølish
А в хаскеле как? Разве не один инстанс дженерика которому передается все время витейбл ?
Нет, оно специализируется, если это возможно и оправдано.
DF
Логично
DF
А если нет то как?
DS
Лол, а зачем
Чтобы рефлексия работала нормально.
DF
Так как я описал?
DS
Dollar Føølish
Так как я описал?
Ага, передается словарь функций тайпклассов и указатели на значения.
DF
Понятно, спасибо
p
Чтобы рефлексия работала нормально.
Рефлексия тут явно не про рефлексы, да?
DS
Рефлексия тут явно не про рефлексы, да?
В смысле? Ты не знаешь, что такое рефлексия?
p
Да
DS
Под этим названием обычно имеют в виду возможность в рантайме узнавать информацию о типах значениях, доступных методах для них и т.д. и т.п.
В джаве см. Class и в шарпе Type и их методы.
В джаве см. Class и в шарпе Type и их методы.
DF
Кстати такой вопрос, мне кажется компайл тайм рефлексия хорошим решением. Как вы думаете есть ли принципиальные недостатки?
p
Под этим названием обычно имеют в виду возможность в рантайме узнавать информацию о типах значениях, доступных методах для них и т.д. и т.п.
В джаве см. Class и в шарпе Type и их методы.
В джаве см. Class и в шарпе Type и их методы.
Лол, вопрос зачем всё ещё в силе. Почему при компиляции не сверять типы?
Т8
Под этим названием обычно имеют в виду возможность в рантайме узнавать информацию о типах значениях, доступных методах для них и т.д. и т.п.
В джаве см. Class и в шарпе Type и их методы.
В джаве см. Class и в шарпе Type и их методы.
А что тогда такое "интроспекция"?
p
И рантайм будет легче, из-за отсутствия типов