AT
Не уверен, что имеет смысл выносить сложность из VM в компилятор.
Size: a a a
2021 June 24
AT
В общем случае — да, конечно, но конкретно в этом вопросе не кажется оправданным.
AT
Тем более, сделать регистровую ВМ не сказать чтобы сложнее стековой...
МБ
Стековый компилятор проще, а потом отдельно делать компилятор промежуточного стекового кода в машинный. Не сложно стековое представление перегнать в SSA, например
AT
Ну разве что в такой компоновке...
МБ
Ну, просто одна из стратегий реализации компилятора для быстрого bootstrap.
2021 June 25
P🍣
Нашел багу в компиляторе для новой спеки, но не знаю как ее правильно описать. Допустим я в конструктор vec3(a, b, c) вместо a,b,c из трех чисел, пихаю одно a и оно разворачивается в a,a,a. Это называется полиморфизм?
AT
Arity polymorphic? Ну не знаю... Я бы так и писал: "пихаю a вместо a,b,c — оно разворачивается" (или не разворачивается).
P🍣
ну оно иногда разворачивается, а иногда ошибки сыпет странные с кишками
RE
Это вроде как “broadcasting” называется.
P🍣
Похоже на то что что надо, впрочем проще пример написать конечно. Пасиб.
SS
AK
ого, а можно в паре слов о том, что поменялось с предыдущих редакций? у меня видимо самая первая, 2007 года
SS
Третье издание стереотипное. Второе отличается от первого мелкими поправками в первой главе и исправлением ошибок и погрешностей верстки.
AK
понятно, спасибо
АП
о, а у меня есть другая книга с таким же названием
SS
Эта не считается :)
2021 June 26
к
это перегрузка. Перегрузку можно реализовать через адхок-полиморфизм
к
хотя в эрланге например это даже не перегрузка, там просто имя функции это тройка из атома модуля, атома имени, и арности. Арность не указывается при вызове, потому что выводится из количества переданных аргументов
x:f(a, b, c)
это неявно
x:f/3(a, b, c)
x:f(a, b, c)
это неявно
x:f/3(a, b, c)
2021 June 27
AK
А такого понятия как «аргументы по умолчанию» там нет и, выходит, даже добавить не получится, не разломав все напрочь?