DK
Ada подобные это какие ?
Size: a a a
2021 May 07
卜
там не реальный язык, но для понимания сути происходящего хватит
KR
Тут хочется из шаблонов перейти к языку более высокого уровня.
Шаблоны С++ почти 1 в 1 ложатся на term rewriting. Только там pattern matching сложнее происходит из-за sfinae
Шаблоны С++ почти 1 в 1 ложатся на term rewriting. Только там pattern matching сложнее происходит из-за sfinae
VS
В принципе, при двупроходной компиляции (с генерацией профиля) можно и проспекулировать, но в публикациях я пока такого не видел. Но да, JIT тут таки полезнее.
Т8
а перформанс или компайл-тайм возможности не потеряются?
M
Интересный вопрос, а какие подходы есть в опозицию мономорфизации?
Т8
боксинг, как в Rust. Правда, там на бэкенде всё равно мономорфизируется
M
Нет я про то что есть к примеру common subexpression elimination, должен же быть способ без инстанцирования
M
Тоесть вот хотим мы сжать код посильней принесли outlining и т.д,. А шаблоны всеравно будут бухнуть, как то же это решают
KR
Не для выполнения, а чтобы просесть и понять, что же приблизительно делает код.
То есть, сделать псевдокод, пусть с потерями .
То есть, сделать псевдокод, пусть с потерями .
B
А аду верифицировали?
DF
в плюсах да, но нвдо учитывать что граница TU для компилятора это черный ящик
DF
условно как library call
DF
сейчас есть два выхода из этой ситуации - unity build (работает) и lto (не работает)
MM
Для шаблонов есть templight
KR
Спасибо, интересная штука.
2021 May 08
EU
Привет. Можно у вас анонс митапа про сбор данных сделать?
AG
surveillance capitalism intensifies
AT
У нас же тут много любителей чего-нибудь распарсить... 😂
Если больше спамить не будут -- пусть повисит. 🤷♀
Если больше спамить не будут -- пусть повисит. 🤷♀