Улучшение deps

[Pomkaize]

Есть 2 проблемы сейчас

1. типы с any
2. не самый удобный для использования api

Я бы предложил что-то в духе, это на поверхности, надо пообсуждать

const resource1 = de.func({
    block: ({ params }: { params: ParamsResource1 }) => {
        return 'resource1result'
    },
});

const resource2 = de.func({
    options: {
        deps: [resource1],
    },
    block: ({ params, deps }: { params: ParamsResource2 }) => {
        // const resource1result = deps[resource1];
        // чтобы было проще, также из ресурса тип можно извлечь
        
        return 'resource2result'
    },
});

[AlexanderVasiliev]

Вариант, который Рома предложил, хорош, есть несколько ограничений:

1. Если в дереве используется один и тот же блок, надо бросать ошибку или брать первый попавшийся:

de.object({
  block: {
    a: shared,    // тот же объект
    b: shared,    // тот же объект, второй раз
    c: de.func({
      options: { deps: [shared] },
      block: ({ deps }) => { ... }
    })
  }
});

2. Очень часто используется extend(), разрабы могут забыть обновить зависимость, проверки на это нету:

de.object({
  block: {
    a: shared.extend({ ... }) // тут возможно сделать рантайм ошибку при проверке всех зарегистрированных блоков в дереве,
    c: de.func({
      options: { deps: [shared] },
      block: ({ deps }) => { ... }
    })
  }
});

3. Невозможны динамические зависимости:

const block = ({ generateId }) => {
    const fooId = generateId();

    return de.object({
        block: {
            foo: de.func({
                block: async () => {
                    await doSomething();

                    // Блок с id: fooId создаётся динамически внутри другого блока
                    return de.http({
                        options: {
                            id: fooId,
                        },
                        block: { ... },
                    });
                },
            }),

            bar: blockBar.extend({
                options: {
                    deps: fooId, // ждёт блок, которого ещё нет на момент старта
                },
            }),
        },
    });
};

Наверное 3й самый критичный и ограничивает возможности библиотеки

[AlexanderVasiliev]

из документации:

const block = ( { generateId } ) => {
    const fooId = generateId();

    return de.object( {
        block: {
            foo: de.func( {
                block: async () => {
                    await doSomething();

                    return de.block( {
                        options: {
                            id: fooId,
                        },
                    } );
                },
            } ),

            bar: blockBar.extend(( {
                options: {
                    deps: fooId,
                },
            } ),
        },
    } );

};

В этом паттерне fooId — это обещание на будущее: ID создаётся до того как известно, какой блок его получит. Блок с id: fooId появляется динамически внутри foo во время выполнения, а не во время компиляции.

время компиляции: fooId создан ← блока с этим ID ещё не существует
время выполнения: foo() → return de.block({ options: { id: fooId } }) ← блок появился
TypeScript работает на этапе компиляции. В момент, когда нужно знать тип deps[fooId], блока с этим ID не существует ни как переменной, ни как объекта. Вывести тип не из чего.

[AlexanderVasiliev]

При попытке обратиться к объекту внутри самого объекта, то получится следующее:
'obj' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.
Нельзя вывести тип объекта до того как он был полностью проинициализирован