Purescript is a purely functional , strongly typed programming language, can be compiled to Javascript, and can be used to develop real world applications. So, it can be used for developing web applications, web servers, and desktop applications using Electron as well as for, templating languages and extensions.
Even if Purescript is written in, and inspired by Haskell, it brings its own features like row polymorphism and extensible records. And it also adheres to a strict evaluation strategy.
It is recommended to provide explicit types signatures while writing with the language. However, Purescript can infer the types automatically. The language is also able to apply the code elimination process (deleting unused code) while compiling to Javascript.
Some of the companies, already used Purescript. For example, there is lumi, ARoW Co., Ltd, and FOAM. For an extended list, you can check the page here.