I wish statically-typed multi-tier/stratified languages for the web like Opa (http://opalang.org/ http://opalang.org/) and Ur/Web (http://www.impredicative.com/

I wish statically-typed multi-tier/stratified languages for the web like Opa (http://opalang.org/ http://opalang.org/) and Ur/Web (http://www.impredicative.com/ur/ http://www.impredicative.com/ur/) got more attention; they actually bring something new to the table.