Websites have grown beyond mere scripting.

Parts of them, yeah. WASM in Rust makes total sense.

Rust is about more than just nicer pointers, it has a very expressive type system that enables correctness rarely seen outside FP.

If you say so. I'd suggest Haskell, but it doesn't work very naturally with interactivity, either user or intersystem.