I think Ur/Web is interesting to mention related to this.

http://www.impredicative.com/ur/