Вт
говно дизайн значит
приму к сведению (будто ето что то изменит)
Size: a a a
2021 March 11
Вт
пойду исправлять компилятор
DD
export default function sumBy<T extends Record<K, number>, K extends keyof T>(а может кто объяснить как это работает или где почитать про области видимости для дженериков?
до вчера я ожидал что дженерик нельзя использовать до того как он объявлен, плюс тут вроде выходит циклическая зависимость
EO
export default function sumBy<T extends Record<K, number>, K extends keyof T>(а может кто объяснить как это работает или где почитать про области видимости для дженериков?
до вчера я ожидал что дженерик нельзя использовать до того как он объявлен, плюс тут вроде выходит циклическая зависимость
предположу что у них ленивое вычисление
EO
или несколько проходов, скорее это
EO
сначала проход, чтобы задекларировать идентификаторы, потом проход чтобы их вычислить
EO
с использованием К до того, как он (визуально) объявился понятно - несколько проходов или ленивость
EO
но где тут рекурсия?
DD
но где тут рекурсия?
K зависит от T, T завист от K
EO
K зависит от T, T завист от K
да, но это решается вычислением К, перед Т
EO
как только К известно, Т вычислить не проблема и никакой зависимости нету
EO
даже не так, сначала keyof T, получаем объединение ключей, проверяем что они ложатся на К, проверяем что Т это объект с этими ключами
DD
даже не так, сначала keyof T, получаем объединение ключей, проверяем что они ложатся на К, проверяем что Т это объект с этими ключами
и тут я поломался
видимо не хватает знаний о том как компиляторы работают
в мою ментальную модель не укладывается как можно получить ключи от объекта который строится на основе этих ключей )
видимо не хватает знаний о том как компиляторы работают
в мою ментальную модель не укладывается как можно получить ключи от объекта который строится на основе этих ключей )
EO
и тут я поломался
видимо не хватает знаний о том как компиляторы работают
в мою ментальную модель не укладывается как можно получить ключи от объекта который строится на основе этих ключей )
видимо не хватает знаний о том как компиляторы работают
в мою ментальную модель не укладывается как можно получить ключи от объекта который строится на основе этих ключей )
несколько проходов же)
EO
если у тебя не хватает данных на текущем проходе компилятора, ставится плейсхолдер
EO
который заполняется на следующих проходах
EO
проходы - это полные обходы дерева или любого другого внутреннего представления, неважно
EO
прошлись по дереву раз, собрали что смогли
затем прошлись ещё раз, собрали уже больше и т.д.
затем прошлись ещё раз, собрали уже больше и т.д.
EO
и каждый проход отвечает за свою конкретную часть, у каждого прохода есть своя задача, которую он решает
EO
