Зачем в функции каррирования нужен apply?

Question

[Hubeoh]

function curry(func) {
  return function curried(...args) {
    if (args.length >= func.length) {
      return func.apply(this, args)
    }

    return function continueCurrying(...args2) {
      return curried.apply(this, args.concat(args2))
    }
  }
}

Это функция каррироваия. Зачем в ней используется apply? Вроде бы и без этого работает.

Comments

[Lynn «Кофеман»]

А покажите свой вариант без apply?

Answer 1

[Alexandroppolus]

чтобы подхватывать this, если вдруг понадобится его передавать

Comments

[Hubeoh]

Это понятно. Но учитывая, что this динамический, я не вижу случая когда реально понадобится apply. Вы можете показать случай, когда эта функция отработает некорректно, если использовать ее без apply?

[Alexandroppolus]

Hubeoh, вот пример

// с поддержкой this
function curry(func) {
  return function curried(...args) {
    if (args.length >= func.length) {
      return func.apply(this, args)
    }

    return function continueCurrying(...args2) {
      return curried.apply(this, args.concat(args2))
    }
  }
}

// без поддержки this
function curry2(func) {
  return function curried(...args) {
    if (args.length >= func.length) {
      return func(...args)
    }

    return function continueCurrying(...args2) {
      return curried(...args, ...args2)
    }
  }
}

function ff(a) {
    console.log(this, a);
}

const c1 = curry(ff);
const c2 = curry2(ff);

c1.call(['this'], 'a'); // в консоли: ['this'], 'a'

c2.call(['this'], 'a'); // в консоли: window, 'a'

как видим, во втором случае this не доехал

[WbICHA]

Alexandroppolus, только я бы добавил, что зис в этой сарри неправильно передаётся, он теряется при каррировании.

function curry(func) {
    return function curried(...args) {
      if (args.length >= func.length) {
        return func.apply(this, args)
      }
      
      const that = this; // this thing was missed

      return function continueCurrying(...args2) {
        return curried.apply(that, args.concat(args2))
      }
    }
  }

[Alexandroppolus]

WbICHA, идею понял, но так тоже не совсем понятно - в этом варианте можно передать this только первым вызовом. Пример, где не работает:

function ff(a, b, c) {
    console.log(this, a, b, c);
}
const c1 = curry(ff);

c1('aa').call([1])('bb').call([2], 'cc')

здесь c аргументом 'aa' не добавили this, и далее это уже нельзя сделать. Хотя, вроде как, можно считать, что вызов c1('aa') зафиксировал отсутствие this, но это контринтуитивно :) Я не знаю как правильно, ведь в самом по себе каррировании ничего не говорится про this, потому что его нет в ФП.

Если надо уметь передать this на каком-то шаге, то такой способ:

function curry(func) {
    return function curried(...args) {
        if (args.length >= func.length) {
            return func.apply(this, args);
        }

        const that = this; // this thing was missed

        return function continueCurrying(...args2) {
            const realThis = that === window || that === undefined ? this : that;
            return curried.apply(realThis, args.concat(args2));
        };
    };
}

здесь допущение, что window или undefined считаются "непереданным this" (для нестрогого и строгого режимов соответственно)

[WbICHA]

Alexandroppolus, да, тупанул.)
Но, мне кажется, в твоём примере всё же лучше проверять зис, а не зет, чтобы иметь возможность передать новый зис при новом вызове.

[Lynn «Кофеман»]

WbICHA, Alexandroppolus,

ну это уже нюансы. Зачем надо изменять this при следующем вызове. Ведь можно рассматривать его как нулевой аргумент который уже привязался при первом вызове.

А с третьей стороны, каррирование это что-то из «чистого функционального программирования» так что за использование тут this нужно просто бить по рукам =)

[Alexandroppolus]

WbICHA, не, у меня с тем расчетом, что если this передали, то уже нельзя поменять. Как в методе bind. Это кажется более традиционным

[Alexandroppolus]

Lynn «Кофеман»,

А с третьей стороны, каррирование это что-то из «чистого функционального программирования» так что за использование тут this нужно просто бить по рукам =)

Об этом тоже написал. В теории нет ничего про this, вот придумываем на ходу, "как должно быть".

[WbICHA]

Lynn «Кофеман», Alexandroppolus,