T1
в C++ даже с сайд-эффектами кое-что можно уже
Size: a a a
2021 January 17
EG
C++?
Каким боком? Во-первых, плюсы не гомоиконные, т. е. там ты физически не можешь сделать макросы на основе функций
EG
Во-вторых, темплейты в плюсах тоже пишутся на отдельном языке
EG
Я хочу, чтобы макросы/дженерики писались на в точности том же языке, что и весь остальной код
T1
Каким боком? Во-первых, плюсы не гомоиконные, т. е. там ты физически не можешь сделать макросы на основе функций
Ну, кроме макросов
T1
Во-вторых, темплейты в плюсах тоже пишутся на отдельном языке
Обоснуй пожалуйста
EG
Обоснуй пожалуйста
Ты не можешь просто написать
Type my_generic_type(Type arg)ты пишешь
template<typename arg> class my_generic_type
EG
У тебя есть вот этот отдельный
template<>-языкT1
У тебя есть вот этот отдельный
template<>-языкНе согласен, просто C++ разделяет выражения, стейтменты, декларации
T1
Ты не можешь просто написать
Type my_generic_type(Type arg)ты пишешь
template<typename arg> class my_generic_type
Но я конечно согласен что первый вариант намного лучше
T1
Каким боком? Во-первых, плюсы не гомоиконные, т. е. там ты физически не можешь сделать макросы на основе функций
А макросы на основе функций это в плане?
EG
А макросы на основе функций это в плане?
Это как в лиспе
EG
Макрос — это просто функция, которая принимает список выражений и возвращает изменённый список выражений
EG
Он может использовать любые другие чистые функции
T1
А, это знаю
r
Макрос — это просто функция, которая принимает список выражений и возвращает изменённый список выражений
С типизацией там будет интересно.
DS
red75prime
С типизацией там будет интересно.
В скале такие макросы
r
В скале такие макросы
emmanuelGoldstein говорил о языке в котором нет разницы между runtime и compile-time.
DS
red75prime
emmanuelGoldstein говорил о языке в котором нет разницы между runtime и compile-time.
Ну ты макросы в скале описываешь обычной функцией, которую можно в рантайме тоже вызвать
DS
Более того, это используется для желающих со стейджингом играться