ΑZ
Size: a a a
2020 October 20
p
Ну хзхз. Иногда ансейф полезен для прототипирования.
ΑZ
Ну хзхз. Иногда ансейф полезен для прототипирования.
s/ансейф/жс
А
https://scattered-thoughts.net/writing/assorted-thoughts-on-zig-and-rust/
Кстати, Zig выглядит прикольно с точки зрения метапрограммирования.
Функции вместо дженериков позволяют делать всякие сложные вещи
Кстати, Zig выглядит прикольно с точки зрения метапрограммирования.
Функции вместо дженериков позволяют делать всякие сложные вещи
Zig will prove that the function is type-safe only for each parameter that you actually call the function with.
Это уже было в C++
p
Zig will prove that the function is type-safe only for each parameter that you actually call the function with.
Это уже было в C++
ой давайте про Zig где угодно но не здесь
MB
ICE и UB
А у человека есть два состояния: эмбрион и труп. И в чем тогда смысл жизни?
MB
Нет
Это как дженерики
Вместо того, чтобы писать
Это как дженерики
Вместо того, чтобы писать
Vec<T>, мы пишем fn Vec(comptime T: type) typeВыглядит примерно как процмакросы
ΑZ
А у человека есть два состояния: эмбрион и труп. И в чем тогда смысл жизни?
это утверждение ложно
MB
Я хз есть ли там доступ к информации о типах, но и в расте он может быть, проблема лишь в тулинге
MB
это утверждение ложно
Как и то, на которое я отвечал.
А так как у них схожая структура то я надеялся будет ясно, что это ирония.
А так как у них схожая структура то я надеялся будет ясно, что это ирония.
ΑZ
а, не распарсил. олк
p
Выглядит примерно как процмакросы
процмакросы работают с гребаными токенами а там type есть. надеюсь что это реально типы а не токены.
MB
процмакросы работают с гребаными токенами а там type есть. надеюсь что это реально типы а не токены.
Ну это техническое ограничение а не фундаментальное
MB
Никто не мешает процмакросу запустить rustc или rust-analyzer, все распарсить, построить информацию о типах и на ее основе сгенерировать свой вывод
MB
Осталось лишь немного соптимизировать :)
p
Никто не мешает процмакросу запустить rustc или rust-analyzer, все распарсить, построить информацию о типах и на ее основе сгенерировать свой вывод
@wafflelapkin выглядит как идея для либы
MB
Э
@wafflelapkin выглядит как идея для либы
"Мы сделали тебе систему макросов, чтобы ты мог запустить компилятор, пока запускаешь компилятор."
BV
Никто не мешает процмакросу запустить rustc или rust-analyzer, все распарсить, построить информацию о типах и на ее основе сгенерировать свой вывод
я знаю один крейт который так делает когда генерируют обвязку
EG
Выглядит примерно как процмакросы
Скорее как идрисовые типы, лол