Объекты первого класса с использование синтаксиса стрелочных функции?

Question

[Alex_87]

Добрый вечер! Помогите пожалуйста объяснить выделенные красным записи:

Как понять запись
(v => v)('run'); // run
Как выражение в первой скобки, если к примеру v может быть 10. Ведь получается далее следующее: 10('run')
А здесь пишется, что раз выражение, значит оно возвращает функцию...

Про остальные выделенные блоки я вообще молчу. Они мне не понятны!

Answer 1

[Rsa97]

Как выражение в первой скобки, если к примеру v может быть 10.

Может. Но только если вы напишете (v => v)(10).
Запись v => v эквивалентна записи function (v) { return v; }. Соответственно, (v => v)('run') эквивалентно (function (v) { return v; })('run')

Comments

[Alex_87]

Согласен! Давайте подставим значение 10:
function (10) { return 10; } вернёт 10. После идёт скобка, и получается 10() ... А они пишут, что раз выражение, значит возвращает функцию. Нор здесь вернулась 10.

[Andrew]

Alex_87, ну так оно вернёт функцию, у которой аргумент результат предыдущей т.е тоже 10 и будет 10.
Сделайте return v+1 и увидите

[Владимир]

Alex_87,

var a = (v => {console.log(v); return v})(10)
var a = (v => v)(10)
var a = (v => {console.log(v); return v})(v => {console.log(v); return v})(10)
var a = (v => v)(v => v)(10)

https://developer.mozilla.org/uk/docs/Glossary/IIFE
Чтобы понять последнюю строку
https://learn.javascript.ru/currying-partials

[Alex_87]

Владимир, Тема каррирование у меня только в будущем(а я на 5 главе).

Здесь должно быть другое объяснение. Но всё равно спасибо!!!

[Robur]

Согласен! Давайте подставим значение 10:
function (10) { return 10; } вернёт 10.

нет. так и будет function (v) { return v}.
которую вы потом вызываете с параметром 10.

(v=>v)(10) то же самое что и

const x = v=>v
x(10)

после первой строчки x содержит ссылку на функцию.
во второй строчке эта ссылка используется чтобы вызвать эту функцию и передать туда 10

в (10 =>10)(10) это никогда не превращается.

Отдельно есть две стадии - первая - это когда компилятор парсит программу и пытается понять что вы ему написали.

На этой стадии строятся все эти ссылки, объекты, функции и понимания что куда передать.
здесь строка "(v=>v)(10)" превращается в инструкцию "взять выражение v=>v, которое возвращает нам функцию и затем вызвать результат этого выражения(эту самую функцию) передав ей 10 в качестве параметра" эта инструкция выражена совсем в другом виде чем ваш текст программы и дальше текст программы уже выкидывается и не используется.

вторая - это когда он ее запускает и начинает по этой инструкции работать.
буквально берет функцию v=>v и вызывает её с параметром 10.

нигде в этих этапах нет 10=>10.

[Alex_87]

Robur, Спасибо! Тот пример я вроде понял, благодаря этим строчка

const x = v=>v
x(10)

А как понять всё остальное?

identity(v => v)('run'); // run
// (v => v)(v => v)('run') // run

[Robur]

по тому же принципу - надо понимать как компилятор разбирает код и что у него получается.
тут он понимает что "надо взять значение которое лежит в identity (там функция v=>v) вызывать её передав в качестве параметра результат выражения v=>v (что тоже функция), потом взять возвращенное значение - и вызывать его снова как функцию передав ему в качестве параметра 'run'"

Потом начинает это выполнять:
взять значение identity (v=>v)
вызвать её передав как параметр (v=>v) выглядит так же но это другая функция

первая v=>v возвращает то что ей передали без изменений. Так как ей передали v=>v она её и вернет
дальше движок берет это значение и вызывает его с параметром 'run'.

Вообще прочитайте про синтаксический разбор и построение AST что-нибудь популярное, если хотите в глубоких деталях понимать что там происходит.

В реальной жизни всяких подобных конструкций стараются избегать, делая код максимально простым. И если нужно что-то подобное и хочется функциональщины, то заворачивают в "синтаксический сахар" именно с целью сделать это все более просто выглядящим для человеческого мозга.
Потому что даже если вы это все понимаете, все равно чем меньше мозг напрягаете на такие вещи, тем больше его остается на решение настоящих задач.