Почему ошибка каррирования в функции typescript?

Question

[madc0de]

Нужно сделать коррирование с данным типом. Не пойму в чем может быть проблема.

Ссылка

type Fn = (val?: number) => number | Fn;

const add = (val: number = 0): number | Fn => {
  let sum = 0;
  const curried = (b: number) => {
    sum = sum + b
    return curried;
  };
  curried.valueOf = () => sum;
  curried.toString = () => sum;
  return curried(val) as number | Fn;
};
console.log(add()) // => 0
console.log(add(1)(2)(3)) // => 6

Comments

[WbICHA]

https://www.typescriptlang.org/play?#code/C4TwDgpg...

[madc0de]

WbICHA, в этом то и проблема что нужно сохранить в типе | и в функции вывод типа
вот так уже не работает

не пойму что значит

function add(val: number): StepFn | number
This expression is not callable.
Not all constituents of type 'number | StepFn' are callable.
Type 'number' has no call signatures.

[WbICHA]

madc0de,

нужно сохранить в типе |

Зачем?
Раз ты знаешь, как должно быть, так чего же ты сам не сделаешь?

[madc0de]

WbICHA, такое задние. Изначально выглядит так:
Тип и как написан функкция менять нельзя

Я гуглил и как бы не писал, всегда ошибка.

This expression is not callable.
Not all constituents of type 'number | StepFn' are callable.
Type 'number' has no call signatures.

Я не знаю как написать чтобы все работало без изменения типа или вида функции. За ваш вариант спасибо, для опыта

[WbICHA]

madc0de, правильно так, как написал я. Задание писал умственно неполноценный (как и 99% заданий), так что я не вижу смысла как-то обсуждать заведомо невыполнимые условия.

[madc0de]

WbICHA, я не спорю, но это задание я.практикума и в таком виде его не принимает тренажер( + условие чтобы пустые скобки принимались за 0

[WbICHA]

madc0de, круто, и? Через юнион это не сделать. Это 2 абсолютно разных типа, с которыми ты, по сути, даже взаимодействовать не можешь (разве что туСтринг вызвать), только после тайпоф, но в данном случе это неприменимо.
Когда узнаешь ответ, скинь сюда, пожалуйста, хочу посмотреть что за высер они там сделали.

[madc0de]

WbICHA,
Автор предложил такое решение

А такое получилось у меня в итоге

[WbICHA]

madc0de, он что, умственно неполноценный? Иначе я не могу объяснить каким образом он выдаёт за ответ заведомо нерабочее решение (по типам).

[madc0de]

WbICHA, ну в любом случае спасибо за помощь, я разобрался и сдал рабочий вариант! )