Elm

Elm is a free and open-source domain-specific programming language that uses type inference to detect corner cases and give friendly hints. The language is by developers to create browser-based graphical user interfaces and is designed for usability, performance, and robustness. Elm is purely functional and is actually a compiler that utilize static type checking, which means you can rest assured that your code will run runtime exceptions.