Js. Кто может пояснить как это работает? Переменная s не инициализированна же. Но тем не менее работает..

Ошибаешься, инициализирована: s - это не переменная, а формальный параметр функции f.

1. Sum(1) выполняет функцию Sum, которая возвращает функцию f.

2. Sum(1)(2) выполняет функцию f, возвращённую на этапе 1, с параметром s == 2; вызов функции f возвращает функцию f (т. е. саму себя).

3. Вызов Sum(1)(2)(3) выполняет функцию f. возвращённую на этапе 2, с параметром s == 3.

Sum(1): result = 1 {1} // выводится из Sum, тут f НЕ выполняется
 └➝ f(2): result += 2 {3} // выводится из f
 └➝ f(3): result += 3 {6} // выводится из f
 └➝ f
Вроде все достаточно очевидно.

// И не слушай этих "специалистов"... на самом деле s - переменная, локальная по отношению к функции f, то есть существует в ее внутреннем LE. Инициализация этой переменной естессно при вызове выполняется (автомагически, как и ее объявление ранее, при объявлении функции), при условии что значение передано аргументом. Если конкретнее - инициализируется s при создании контекста вызова f: контекст это внутренняя структура, содержащая состояние всех переменных в LE функции... при заполнении этой структуры и происходит присваивание значений локальным переменным неявно объявленным как параметры.

Так это js там все не как у людей. Походу он просто копирует, то что ты передал в s и работает с тем, что есть.

Тут вообще нет переменной s (это переданный параметр).

>> как это работает?
Замыкается и работает.

А чтобы понять как это работает лучше использовать отладчик и делать отладку по шагам особо обращая внимание на текущее лексическое окружение и его структуру.