This is interesting stuff. (Though from practical experience the HTML generation via the programming language part doesn’t play well with web designers)
If anyone is interested, three years ago my friend Armaghan and I built this kind of web framework in Standard ML. It allows for extremely rapid creation of complex web-apps (it’s amazing what functional programming and static typing can do to improve your ability to create modern software….)
The reason our framework never saw the light of day was because it compiled SML to Java byte code (in order to sit inside Tomcat), and the compiler we were using, MLj: a buggy, abandoned research project. Unfortunately, there were more bugs then we were capable of solving, and would have required a lengthy rewrite. What a bummer.