While an ML for the web would be my ultimate wish, Clojure may be a better fit due to the dynamic nature of the web. It's called ClojureScript and is being developed by Rich Hickey and others.

http://www.infoq.com/presentations/One-Parenthesis-to-Rule-them-All

Quite nice!!