The trick of using more compile-time knowledge to avoid diffing the tree of elements seems similar to svelte (https://svelte.dev) in the Javascript world.