ΑZ
Хм. Там-же вроде совместить сломали при введении async/await?
нет, во-первых просто самим асинк-авейтом нельзя было пользоваться, а во-вторых потом сделали либы-полифиллы для более старых версий дотнета
Size: a a a
2020 October 17
O
темплэйты метапрограммны в том смысле, что это нашлёпка над другим языком
I
темплэйты метапрограммны в том смысле, что это нашлёпка над другим языком
В плюсах это часть языка
O
в плюсах есть по крайней мере два подмножества языка: темплэйты и, эммм, не темплэйты
Oℕ
"нашлёпка над другим языком" слишком туманно, теглес файнал тоже нашлёпки над другими языками, это не метапрограммирование меж тем
O
ну ещё препроцессор есть
Oℕ
Я вот как сформулировал
Иными словами, это позволяет писать программы, которые будет запускать ваш компилятор, генерируя конструкты, которые будут использованы как часть ваших программ.
Иными словами, это позволяет писать программы, которые будет запускать ваш компилятор, генерируя конструкты, которые будут использованы как часть ваших программ.
ΑZ
Ну для мета-программирования не так много подходов
0 - препроцессор языка на (всякие project lombok и annotation processors тоже тут)
1 - рантайм кодогенерация
2 - темплейты
3 - вейвинг
4 - типы высоких порядков
(а больше ничего так и не вспомню)
0 - препроцессор языка на (всякие project lombok и annotation processors тоже тут)
1 - рантайм кодогенерация
2 - темплейты
3 - вейвинг
4 - типы высоких порядков
(а больше ничего так и не вспомню)
не понимаю где хкт это метапрограммирование
O
ну вот лисп это прям метапрограммирование, там на лиспе оперируешь программами на лиспе и тут же их исполняешь, а в плюсах у тебя есть язык шаблонов, который оперирует сиподобным языком, но никак иначе
ΑZ
а то так и генерики можно к ним отнести ненароком
Oℕ
не понимаю где хкт это метапрограммирование
Я выше описал
Oℕ
не понимаю где хкт это метапрограммирование
O
шаблоны это больше такой сложный тьюрингполный препроцессор
Oℕ
Сложный тьюрингполный препроцессор - достаточно для того, чтобы считаться метапрограммированием
I
Я вот как сформулировал
Иными словами, это позволяет писать программы, которые будет запускать ваш компилятор, генерируя конструкты, которые будут использованы как часть ваших программ.
Иными словами, это позволяет писать программы, которые будет запускать ваш компилятор, генерируя конструкты, которые будут использованы как часть ваших программ.
Ну тогда почему ТФ не мета-программа? У меня может быть 2 разных интерпретатора. Имхо TF это тоже мета-программа.
И со своим компилятоом (то что это обычно интерпретатор мало что меняет)
И со своим компилятоом (то что это обычно интерпретатор мало что меняет)
O
в этом смысле он мета- по отношению к сиподобной части плюсов
I
Сложный тьюрингполный препроцессор - достаточно для того, чтобы считаться метапрограммированием
Да
O
а вот тайпклассы в хачкеле это мета?
O
там тоже тьюрингполный язык над мирандо-подобным языком, только логический
ΑZ
но хкт и тайпфемили это разные вещи