Elm

A functional language for front-end web development with strong type guarantees.