условие возврата тут находится в строке 17 — return tree

изначально дерево ето null так что мы его создаём с переданной снаружи нодой
строку 8 можно пропустить

дальше в строке 12 мы смотрим, есть ли у ноды дети и если есть то мы рекурсивно вызываем эту же функцию на детях и детях детей.
и после детей второго уровня возвращаемся к детям первого уровня и проверяем их

и когда все дети проверены и у текущей ноды нет детей мы возвращаем дерево

это всё довольно запутано, но доступно для понимания при троганьи руками и консоль.логами

при желании трогать можно здесь:
https://livebook.manning.com/book/functional-programming-in-javascript/chapter-3/193

важная картинка

Композиция функций

Это процесс группирования сложного поведения, разделенного на простые задачи

Главное преимущество — отделение описания функции от её вычисления

например

const str = `We can only see a short distance  ahead but we can see plenty there that needs to be done`;

const explode = (str) => str.split(/\s+/);

const count = (arr) => arr.length;

const countWords = R.compose(count, explode);

Данная программа начнет вычисляться только когда произойдет вызов функции countWords

пример:

самое сложное тут — функции выполняются снизу вверх
напротив каждой я написала результат выполнения, так что в целом всё понятно

чтобы выполнять функции в привычном порядке, можно использовать не compose, а pipe
(ура)

Композиция функий побуждает к бесточечному стилю программирования
(он еще называется комбинаторным)

Термин ссылочная прозрачность означает, что мы можем заменить функцию результатом её выполнения

Функция half(x) принимает число x и возвращает значение половины x. Если мы передадим этой функции аргумент 8, она вернет 4. После вызова чистая функция всегда может быть заменена результатом своей работы. Например, мы могли бы заменить half(8) на 4: где бы эта функция не использовалась в нашем коде, подмена никак не повлияла бы на конечный результат.

https://medium.com/devschacht/glossary-of-modern-javascript-concepts-1198b24e8f56

если функция неизменно возвращает один и тот же результат для одних и тех же передаваемых ей входных значений, она обладает ссылочной прозрачностью.

Монады

Монада это проектный шаблон, применяемый для описания вычислений в виде последовательности стадий, где вообще неизвестно обрабатываемое значение

Сами монады абстрактны и лишены всякого реального смысла. Их истинный потенциал начинает раскрываться только после того, как они будут реализованы в виде конкретного типа данных

А вообще монада это такая обёртка

пример из реальной (около того) жизни:

есть у нас вот такой объект
из него нам нужно достать поле country

можно сделать так (совсем ужасно)

а вот так можно упростить жизнь монадой

(и даже optional chaining не нужен)

Option это такая монада из языка Scala и которую для этого примера я взяла из библиотеки ts-option

https://www.npmjs.com/package/ts-option

Отличная штука, на работе мы постоянно используем ее в редаксовских селекторах

https://www.youtube.com/watch?v=XaqR3G_NVoo&feature=youtu.be

отличное видео про merge sort


подробности про другие алгоритмы сортировки: https://techrocks.ru/2019/03/20/advanced-sorting-algorithms/