Языки функционального программирования, такие как Haskell или OCaml, прилагают некоторые усилия, чтобы
сделать каррированные функции более производительными по сравнению с некаррированными функциями. Мне интересно, есть ли в V8 какие-либо оптимизации специально для каррированных функций.
Оптимизирует ли V8 прямые вызовы?
Рассмотрим пример, показанный ниже. Здесь addFourCurry и addFourUncurry
оба вызываются напрямую. Если предположить, что они не встроены, генерируют ли оба их вызова один и тот же или, по крайней мере, похожий машинный код? Изменяется ли каррирование, если какой-либо пример встроен?
Чего вообще можно ожидать от прямого вызова каррированных функций?
const example = [1, 2, 3];
const addFourCurry = a => b => c => d => console.log(a + b + c + d);
const addFourUncurried = (a, b, c, d) => console.log(a + b + c + d);
for (let i = 0; i < example.length; i++) {
let e = example;
addFourCurry(e)(e)(e)(e);
}
for (let i = 0; i < example.length; i++) {
let e = example;
addFourUncurried(e, e, e, e);
}
Оптимизирует ли V8 непрямые вызовы?
Рассмотрим второй пример ниже. Здесь foreachFourCurry обязательно
должен работать медленнее, поскольку вызывает функцию с неизвестной арностью. Однако,
как описано в разделе «Приготовление быстрого карри». Количество аргументов может быть известно
во время выполнения, и это позволяет соответствующим образом корректировать стек. Отслеживается ли арность функции и используется ли она для насыщенных вызовов?
Чего вообще можно ожидать от косвенного вызова каррированных функций?
const example = [1, 2, 3];
const addFourCurry = a => b => c => d => console.log(a + b + c + d);
const addFourUncurried = (a, b, c, d) => console.log(a + b + c + d);
function foreachFourCurry(f, list) {
for (let i = 0; i < list.length; i++) {
let e = list;
f(e)(e)(e)(e);
}
}
function foreachFourUncurry(f, list) {
for (let i = 0; i < list.length; i++) {
let e = list;
f(e, e, e, e);
}
}
foreachFourCurry(addFourCurry, example);
foreachFourUncurry(addFourUncurried, example);
Подробнее здесь: https://stackoverflow.com/questions/798 ... ng-languag
