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