#Opa — http://opalang.org/ Opa — a language that compiles into #JavaScript ( client-side and server-side [ #Node.js ] + #MongoDB as the database. The language did a pivot ... it was originally a very functional oriented language written in #Ocaml.
#Ur / #Urweb — http://www.impredicative.com/ur/ — a functional oriented language that copies some features from Standard ML ( #SML ), #Haskell, and #Ocaml and has libraries for web-related features.
Looking at their sites, it looks like Opa has a more updated site and possibly a more updated language (though there was a release of Ur this year).
I’ve watched them on and off for several years.