Многопроходный пасрер

Почитай про всплывание (hoisting). Коротко, все function declaration что ты определяешь в глобальном скоупе всплывают и попадают в global или window (для браузера) скоуп. на самый верхний уровень т. e
…
function g() {
 return "1";
}
…
function g() {
 return «2»;
}

на самом деле будут на самом верху:

global.g = functin g() {
 return "1";
}

global.g = functin g() {
 return «2»;
}

console.log(f());
…
console.log(a);
...

ну и последний global.g перепишет предыдущий поэтому будет только global.g = functin g() { return «2»; }

Всеми любимый хаскель:

let
  a = b
  b = 5
in a + b

Ну и это работает только для function declaration для function expressions (клозюр) уже нет

let
  a = b
  b = 5
in a + b

Не вижу связи.

Там 2 прохода вроде всего

Что рассказали про "поднятие" (hoisting) — спасибо обоим участникам.

Потому что function expression - переменная, по сути.
Нельзя использовать неинициализированную переменную

Точнее, нельзя ее использовать до объявления

А function expression это разве замыкание?

Не обязательно, но чаще всего да

Ну да, резонно

b в let-блоке объявлено после использования

Так, а пример кода на JS, про который были вопросы Вы смотрели? Там проблемы не с использованием до объявления самим по себе.

Строго говоря, это всегда замыкание, просто в вырожденном случае оно ничего не замыкает (из окружения). Кроме this, если arrow function.

а ну да, сорян, поторопился

Все верно. Просто в JS замыкания которые захватили хоть одну переменную или this (в случае с arrow function) принято называть замыканиями, а все остальные функциями / анонимными функциями, что бы хоть как то разделять

Насколько я знаю, это очень условно

Напомните, пожалуйста, аналог llvm, но графовый, research-style. Он тут упоминался неоднократно.

libfirm?